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)