The Interpretation of Intuitionistic Type Theory in Locally Cartesian Closed Categories - an Intuitionistic Perspective
Paper i proceeding, 2008
Författare
Peter Dybjer
Chalmers, Data- och informationsteknik, Datavetenskap
Alexandre Buisse
Chalmers, Data- och informationsteknik, Datavetenskap
Electr. Notes Theor. Comput. Sci.
218 21-32
Ämneskategorier
Datavetenskap (datalogi)