Models of Intuitionistic Set Theories over Partial Combinatory Algebras.

Michael Rathjen Models of Intuitionistic Set Theories over Partial Combinatory Algebras. 68-78 2006 conf/tamc/2006 TAMC http://dx.doi.org/10.1007/11750321_5 db/conf/tamc/tamc2006.html#Rathjen06