Department of Mathematics
Stockholm University

Research Reports in Mathematics
Number 2, 2004


Jesper Carlström. Interpreting Descriptions in Intensional Type Theory.

Publication date: February 20, 2004.
Keywords: Descriptions, definite, indefinite, epsilon-calculus, iota-calculus, type theory, constructive algebra.
2000 MSC: Primary 03B15, Secondary 03F65.

Download report as: [PostScript][Portable Document Format]
[2004][Report archive][Dept Math]