Items where Author is "van Oosten, Jaap"

HDS-26: van Oosten, Jaap (2018) Exercises in Realizability. Doctoral thesis, University of Amsterdam.

ML-1993-18: van Oosten, Jaap (1993) Extensional Realizability. [Report]

ML-1990-06: van Oosten, Jaap (1990) Extension of Lifschitz' Realizability to Higher Order Arithmetic, and a Solution to a Problem of F. Richman. [Report]

ML-1990-02: van Oosten, Jaap (1990) A Semantical Proof of De Jongh's Theorem. [Report]

ML-1988-01: van Oosten, Jaap (1988) Lifschitz' Realizability. [Report]