[1]
Oosten, J. van 1996. The Modified Realizability Topos. BRICS Report Series. 3, 3 (Jan. 1996). DOI:https://doi.org/10.7146/brics.v3i3.19966.