TY  - RPRT
TI  - The Sierpinski Object in the Scott Realizability Topos
AU  - Tom de Jong
AU  - Jaap van Oosten
PY  - 2020
DO  - 10.23638/lmcs-16(3:12)2020
UR  - https://arxiv.org/abs/1904.13354
ID  - 1904.13354
ER  -