Peter Aczel. On Relating Type Theories and Set Theories. In Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus, editors, Types for Proofs and Programs, International Workshop TYPES 98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers. Volume 1657 of Lecture Notes in Computer Science, pages 1-18, Springer, 1998. [doi]
@inproceedings{Aczel98,
title = {On Relating Type Theories and Set Theories},
author = {Peter Aczel},
year = {1998},
url = {http://link.springer.de/link/service/series/0558/bibs/1657/16570001.htm},
tags = {type theory},
researchr = {https://researchr.org/publication/Aczel98},
cites = {0},
citedby = {0},
pages = {1-18},
booktitle = {Types for Proofs and Programs, International Workshop TYPES 98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers},
editor = {Thorsten Altenkirch and Wolfgang Naraschewski and Bernhard Reus},
volume = {1657},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-66537-4},
}