Items where Author is "van Oosten, Jaap"

Group by: Item Type | No Grouping
Jump to: Report | Thesis
Number of items: 5.


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]


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

This list was generated on Tue Feb 27 00:30:54 2024 CET.