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
]
