On the Interpretation of Type Theory in Locally Cartesian Closed Categories (1994)

Cached

Download Links

by Martin Hofmann
Venue:Proceedings of Computer Science Logic, Lecture Notes in Computer Science
Citations:38 - 1 self