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
Publicerad i
Electr. Notes Theor. Comput. Sci.
Nummer/häfte 218 s. 21-32
Kategorisering
Ämneskategorier (SSIF 2011)
Datavetenskap (datalogi)