Classical proofs as programs (1993)

by M Parigot
Venue:Lectures Notes in Computer Science, Springer Verlag 713, 263-276. hal-00382306, version 1 - 7