Reflective Semantics of Constructive Type Theory (1991)

Cached

Download Links

by Scott F. Smith