Jaap van Oosten

28 papers Journal 23Unranked 4
YearRankTypeTitle / Venue / Authors
2020 J jnl
The Sierpinski Object in the Scott Realizability Topos.
Log. Methods Comput. Sci.
Tom de Jong, Jaap van Oosten
2019 J jnl
The Sierpinski Object in the Scott Realizability Topos.
CoRR
Tom de Jong, Jaap van Oosten
2016 J jnl
Effective operations of type 2 in PCAs.
Comput.
Eric Faber, Jaap van Oosten
2015 J jnl
A notion of homotopy for the effective topos.
Math. Struct. Comput. Sci.
Jaap van Oosten
2014 J jnl
Realizability with a local operator of A.M. Pitts.
Theor. Comput. Sci.
Jaap van Oosten
2014 J jnl
The Univalent Foundations Program. Homotopy Type Theory: Univalent Foundations of Mathematics. http: //homotopytypetheory.org/book, Institute for Advanced Study, 2013, vii + 583 pp.
Bull. Symb. Log.
Jaap van Oosten
2013 J jnl
Basic subtoposes of the effective topos.
Ann. Pure Appl. Log.
Sori Lee, Jaap van Oosten
2012 J jnl
Preface.
Ann. Pure Appl. Log.
Juliette Kennedy, Jaap van Oosten
2011 J jnl
Partial Combinatory Algebras of Functions.
Notre Dame J. Formal Log.
Jaap van Oosten
2006 J jnl
A General Form of Relative Recursion.
Notre Dame J. Formal Log.
Jaap van Oosten
2006 J jnl
Well-foundedness in Realizability.
Arch. Math. Log.
Martin Hofmann, Jaap van Oosten, Thomas Streicher
2005 J jnl
Algebraic set theory and the effective topos.
J. Symb. Log.
Claire Kouwenhoven-Gentil, Jaap van Oosten
2004 J jnl
A partial analysis of modified realizability.
J. Symb. Log.
Jaap van Oosten
2002 J jnl
Preface.
Ann. Pure Appl. Log.
Jaap van Oosten, Harold Schellinx
2002 J jnl
Realizability: A Historical Essay.
Math. Struct. Comput. Sci.
Jaap van Oosten
2002 J jnl
Relative and modified relative realizability.
Ann. Pure Appl. Log.
Lars Birkedal, Jaap van Oosten
2000 J jnl
Axioms and (counter) examples in synthetic domain theory.
Ann. Pure Appl. Log.
Jaap van Oosten, Alex K. Simpson
1999 — conf
History and Developments.
Realizability Semantics and Applications@FLoC
Jaap van Oosten
1999 — conf
Preface.
Realizability Semantics and Applications@FLoC
Lars Birkedal, Jaap van Oosten, Giuseppe Rosolini, Dana S. Scott
1999 — ed.
Tutorial Workshop on Realizability Semantics and Applications, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June 30 - July 1, 1999
Realizability Semantics and Applications@FLoC
Lars Birkedal, Jaap van Oosten, Giuseppe Rosolini, Dana S. Scott
1998 — conf
Some axiomatic results in synthetic domain theory.
Workshop on Domains
Jaap van Oosten, Alex K. Simpson
1997 J jnl
Extensional Realizability.
Ann. Pure Appl. Log.
Jaap van Oosten
1996 — conf
Topological Aspects of Traces.
Application and Theory of Petri Nets
Jaap van Oosten
1996 J jnl
Two Remarks on the Lifschitz Realizability Topos.
J. Symb. Log.
Jaap van Oosten
1994 J jnl
Axiomatizing Higher-Order Kleene Realizability.
Ann. Pure Appl. Log.
Jaap van Oosten
1991 J jnl
A semantical proof of De Jongh's theorem.
Arch. Math. Log.
Jaap van Oosten
1991 J jnl
Extension of Lifschitz' Realizability to Higher Order Arithmetic, and a Solution to a Problem of F. Richman.
J. Symb. Log.
Jaap van Oosten
1990 J jnl
Lifschitz' Realizability.
J. Symb. Log.
Jaap van Oosten