Naive computational type theory. (2002)

by Robert L Constable
Venue:In Helmut Schwichtenberg and Ralf Steinbruggen, editors, Proof and System Reliability, volume 62 of Nato Science Series,