Two Remarks on the Lifschitz Realizability Topos

Jaap van Oosten. Two Remarks on the Lifschitz Realizability Topos. Journal of Symbolic Logic, 61(1):70-79, 1996.

Possibly Related Publications

The following publications are possibly variants of this publication: