Constructive Formalization of Hybrid Logic with Eventualities
(pdf)
Christian Doczkal, Gert Smolka
Certified Programs and Proofs
Formalizing a Strong Normalization Proof for Moggi's Computational Metalanguage
(pdf)
Christian Doczkal, Jan Schwinghammer
4th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP'09)
A Proof of Strong Normalization for Call-by-push-value
(pdf)
Christian Doczkal, Jan Schwinghammer
Strong Normalization of Call-by-push-value
(pdf)
Christian Doczkal
B.Sc. Thesis, Programming Systems Lab, Department of Informatics, Saarland University