Theories as Types.

Dennis Mller, Florian Rabe, Michael Kohlhase

Browse the full CADE paper archive.