Department of Mathematics
Stockholm University
Research Reports in Mathematics
Number 8, 2002
Jesper Carlström.
Subsets and Quotients in Martin-Löf's Type Theory.
Publication date:
September 6, 2002.
2000 MSC:
Primary
03B15,
Secondary
03B20.
Download report as:
[
PostScript
][
Portable Document Format
]
Corrections etc are available
here
.
[
2002
][
Report archive
][
Dept Math
]
