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)

Mer information

Skapat

2017-10-06