The type theoretic interpretation of constructive set theory (2001)

by P Aczel
Venue:Logic Colloquium ‘77, North-Holland, Amsterdam (1978), 55–66. 15 P. Aczel and M. Rathjen, Notes on constructive set theory. Institut Mittag-Leffler (Royal Swedish Academy of Sciences) technical report number 40