Simon Thompson. Are Subsets Necessary in Martin-Löf Type Theory?. In J. Paul Myers Jr., Michael J. O Donnell, editors, Constructivity in Computer Science, Summer Symposium, San Antonio, Texas, USA, June 19-22, Proceedings. Volume 613 of Lecture Notes in Computer Science, pages 46-57, Springer, 1991.
@inproceedings{Thompson91:0,
title = {Are Subsets Necessary in Martin-Löf Type Theory?},
author = {Simon Thompson},
year = {1991},
tags = {type theory},
researchr = {https://researchr.org/publication/Thompson91%3A0},
cites = {0},
citedby = {0},
pages = {46-57},
booktitle = {Constructivity in Computer Science, Summer Symposium, San Antonio, Texas, USA, June 19-22, Proceedings},
editor = {J. Paul Myers Jr. and Michael J. O Donnell},
volume = {613},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-55631-1},
}