TY  - RPRT
TI  - Intuitionistic fixed point theories over set theories
AU  - Toshiyau Arai
PY  - 2014
UR  - https://arxiv.org/abs/1312.1133
ID  - 1312.1133
ER  -