Constructive Completeness for Modal Logic with Transitive Closure
Christian Doczkal, Gert Smolka
Certified Programs and Proofs, 2012.
Formalizing a Strong Normalization Proof for Moggi's Computational Metalanguage
Christian Doczkal, Jan Schwinghammer
4th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP'09), 2009.
Strong Normalization of Call-by-push-value
B.Sc. Thesis, Programming Systems Lab, Department of Informatics, Saarland University, 2007.
Mon Sep 7 21:04:33 2009