The Interpretation of Intuitionistic Type Theory in Locally Cartesian Closed Categories – an Intuitionistic Perspective
to Phil Scott on the occasion of his 60th birthday year
Under a Creative Commons license
open access
Keywords
Martin-Löf intuitionistic type theory
locally cartesian closed category
E-category
Coq
Cited by (0)
Copyright © 2008 Elsevier B.V.