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:39 - 1 self

Document Versions

On the Interpretation of Type Theory in Locally Cartesian Closed Categories –Martin Hofmann — 1994 — Proceedings of Computer Science Logic, Lecture Notes in Computer Science