Classical proofs as programs (1993)

by M Parigot
Venue:Proceedings of the third Kurt Gödel colloquium – KGC’93