Using reflection to explain and enhance type theory (1994)

by Robert L Constable
Venue:In Proof and Computation, volume 139 of NATO Advanced Study Institute, International Summer School held in Marktoberdorf, Germany, July 20-August 1, NATO Series F