The Interpretation of Intuitionistic Type Theory in Locally Cartesian Closed Categories - an Intuitionistic Perspective
Paper in proceeding, 2008
Author
Peter Dybjer
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Alexandre Buisse
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Electr. Notes Theor. Comput. Sci.
218 21-32
Subject Categories
Computer Science