Notes on constructive set theory. Institut Mittag-Leffler (Royal Swedish Academy of Sciences) technical report number 40, 2001. Available at (0)

by P Aczel, M Rathjen