Programming Systems Lab: Publications by Michael Kohlhase

Saarland University Computer Science

Select author:


Cut-Simulation and Impredicativity
Christoph Benzmueller, Chad E. Brown, Michael Kohlhase
Logical Methods in Computer Science


Cut Elimination with xi-Functionality   (pdf)
Christoph E. Benzmüller, Chad E. Brown, Michael Kohlhase
Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday

Login to edit

Webmaster, Mon May 30 13:48:30 2016