CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

The Interpretation of Intuitionistic Type Theory in Locally Cartesian Closed Categories - an Intuitionistic Perspective

Peter Dybjer (Institutionen för data- och informationsteknik, Datavetenskap, Programmeringslogik (Chalmers)) ; Alexandre Buisse (Institutionen för data- och informationsteknik, Datavetenskap, Programmeringslogik (Chalmers))
Electr. Notes Theor. Comput. Sci. 218, p. 21-32. (2008)
[Konferensbidrag, refereegranskat]


Denna post skapades 2009-01-09.
CPL Pubid: 84823