1. Derived rules for predicative set theory: An application of sheaves
2. [4] Carl, M. , Galeotti, L. , and Passmann, R. , Realisability for infinitary intuitionistic set theory, preprint, 2021, arXiv:2009.12172.
3. [1] Aczel, P. and Rathjen, M. , Notes on constructive set theory, 2010. http://www1.maths.leeds.ac.uk/~rathjen/book.pdf.