Oosten, Jaap. 1996. “The Modified Realizability Topos”. BRICS Report Series 3 (3). https://doi.org/10.7146/brics.v3i3.19966.