Prototype Proofs in Type Theory (2000)

by G Longo
Venue:Mathematical Logic Quarterly