Items where Author is "van Oosten, Jaap"

[up] Up a level
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 Fri Apr 26 00:30:38 2024 CEST.
ILLC Preprints and Publications is powered by EPrints 3.4 which is developed by the School of Electronics and Computer Science at the University of Southampton. About EPrints | Accessibility