TY  - RPRT
TI  - A Note on OTM-Realizability and Constructive Set Theories
AU  - Merlin Carl
PY  - 2024
UR  - https://arxiv.org/abs/1903.08945
ID  - 1903.08945
ER  -