The Interpretation of Intuitionistic Type Theory in Locally Cartesian Closed Categories - an Intuitionistic Perspective
In: Electronic Notes in Theoretical Computer Science, Jg. 218 (2008-10-22), S. 21-32
Online
academicJournal
Titel: |
The Interpretation of Intuitionistic Type Theory in Locally Cartesian Closed Categories - an Intuitionistic Perspective
|
---|---|
Autor/in / Beteiligte Person: | Buisse, Alexandre |
Link: | |
Zeitschrift: | Electronic Notes in Theoretical Computer Science, Jg. 218 (2008-10-22), S. 21-32 |
Veröffentlichung: | 2008 |
Medientyp: | academicJournal |
ISSN: | 1571-0661 (print) |
Sonstiges: |
|