TY  - RPRT
TI  - On the structure of classical realizability models of ZF
AU  - Jean-Louis Krivine
PY  - 2014
DO  - 10.4230/lipics.types.2014.146
UR  - https://arxiv.org/abs/1408.1868
ID  - 1408.1868
ER  -