Lifschitz' Realizability. - Jaap van Oosten (J. Symb. Log., 1990)

A semantical proof of De Jongh's theorem. - Jaap van Oosten (Arch. Math. Log., 1991)

Extension of Lifschitz' Realizability to Higher Order Arithmetic, and a Solution to a Problem of F. Richman. - Jaap van Oosten (J. Symb. Log., 1991)

Axiomatizing Higher-Order Kleene Realizability. - Jaap van Oosten (Ann. Pure Appl. Log., 1994)

Topological Aspects of Traces. - Jaap van Oosten (Application and Theory of Petri Nets, 1996)

Two Remarks on the Lifschitz Realizability Topos. - Jaap van Oosten (J. Symb. Log., 1996)

Extensional Realizability. - Jaap van Oosten (Ann. Pure Appl. Log., 1997)

Some axiomatic results in synthetic domain theory. - Jaap van Oosten; Alex K. Simpson (Workshop on Domains, 1998)

Preface. - Lars Birkedal; Jaap van Oosten; Giuseppe Rosolini; Dana S. Scott (Realizability Semantics and Applications@FLoC, 1999)

History and Developments. - Jaap van Oosten (Realizability Semantics and Applications@FLoC, 1999)

Axioms and (counter) examples in synthetic domain theory. - Jaap van Oosten; Alex K. Simpson (Ann. Pure Appl. Log., 2000)

Relative and modified relative realizability. - Lars Birkedal; Jaap van Oosten (Ann. Pure Appl. Log., 2002)

Preface. - Jaap van Oosten; Harold Schellinx (Ann. Pure Appl. Log., 2002)

Realizability: A Historical Essay. - Jaap van Oosten (Math. Struct. Comput. Sci., 2002)

A partial analysis of modified realizability. - Jaap van Oosten (J. Symb. Log., 2004)

Algebraic set theory and the effective topos. - Claire Kouwenhoven-Gentil; Jaap van Oosten (J. Symb. Log., 2005)

Well-foundedness in Realizability. - Martin Hofmann 001; Jaap van Oosten; Thomas Streicher (Arch. Math. Log., 2006)

A General Form of Relative Recursion. - Jaap van Oosten (Notre Dame J. Formal Log., 2006)

Partial Combinatory Algebras of Functions. - Jaap van Oosten (Notre Dame J. Formal Log., 2011)

Preface. - Juliette Kennedy; Jaap van Oosten (Ann. Pure Appl. Log., 2012)

Basic subtoposes of the effective topos. - Sori Lee; Jaap van Oosten (Ann. Pure Appl. Log., 2013)

The Univalent Foundations Program. Homotopy Type Theory: Univalent Foundations of Mathematics. http: //homotopytypetheory.org/book, Institute for Advanced Study, 2013, vii + 583 pp. - Jaap van Oosten (Bull. Symb. Log., 2014)

Realizability with a local operator of A.M. Pitts. - Jaap van Oosten (Theor. Comput. Sci., 2014)

A notion of homotopy for the effective topos. - Jaap van Oosten (Math. Struct. Comput. Sci., 2015)

Effective operations of type 2 in PCAs. - Eric Faber; Jaap van Oosten (Comput., 2016)

The Sierpinski Object in the Scott Realizability Topos. - Tom de Jong; Jaap van Oosten (Log. Methods Comput. Sci., 2020)