Classical proofs as programs (1993)

by M Parigot
Venue:Lecture Notes in Computer Science (713