Prototype proofs in Type Theory", in Mathematical Logic Quaterly (formely: Zeit (0)

by G Longo
Venue:f. Math. Logik und Grundlagen der Math