Christian Doczkal: Publications

Programming Systems

Christian Doczkal

Master's Thesis

Publications

Drafts

Journal, conference and workshop publications

Constructive Completeness for Modal Logic with Transitive Closure   (pdf)
Christian Doczkal, Gert Smolka
Certified Programs and Proofs, 2012.

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), 2009.

Theses

Strong Normalization of Call-by-push-value   (pdf)
Christian Doczkal
B.Sc. Thesis, Programming Systems Lab, Department of Informatics, Saarland University, 2007.