Naïve computational type theory (2002)

by Robert L Constable
Venue:Proof and SystemReliability, Proceedings of International Summer School Marktoberdorf, July 24 to August 5, 2001, volume 62 of NATO Science Series III