Peter Aczel. Rudimentary and arithmetical constructive set theory. Annals of Pure and Applied Logic, 164(4):396-415, 2013. [doi]
@article{Aczel13,
title = {Rudimentary and arithmetical constructive set theory},
author = {Peter Aczel},
year = {2013},
doi = {10.1016/j.apal.2012.10.004},
url = {http://dx.doi.org/10.1016/j.apal.2012.10.004},
researchr = {https://researchr.org/publication/Aczel13},
cites = {0},
citedby = {0},
journal = {Annals of Pure and Applied Logic},
volume = {164},
number = {4},
pages = {396-415},
}