Using Reflection to Explain and Enhance Type Theory (1994)

Cached

Download Links

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