Items where Author is "van Oosten, Jaap"

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

Report

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]

Thesis

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

This list was generated on Mon Jan 17 00:30:28 2022 CET.