Jaap van Oosten

Publication Activity (10 Years)

Years Active: 1990-2020
Publications (10 Years): 4

Top Topics

Complex Objects

Information Retrieval And Extraction

Top Venues

Ann. Pure Appl. Log.

Bull. Symb. Log.

Math. Struct. Comput. Sci.

Publications

Tom de Jong, Jaap van Oosten
The Sierpinski Object in the Scott Realizability Topos. Log. Methods Comput. Sci. 16 (3) (2020)
Tom de Jong, Jaap van Oosten
The Sierpinski Object in the Scott Realizability Topos. CoRR (2019)
Eric Faber, Jaap van Oosten
Effective operations of type 2 in PCAs. Comput. 5 (2) (2016)
Jaap van Oosten
A notion of homotopy for the effective topos. Math. Struct. Comput. Sci. 25 (5) (2015)
Jaap van Oosten
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. 20 (4) (2014)
Jaap van Oosten
Realizability with a local operator of A.M. Pitts. Theor. Comput. Sci. 546 (2014)
Sori Lee, Jaap van Oosten
Basic subtoposes of the effective topos. Ann. Pure Appl. Log. 164 (9) (2013)
Juliette Kennedy, Jaap van Oosten
Preface. Ann. Pure Appl. Log. 163 (10) (2012)
Jaap van Oosten
Partial Combinatory Algebras of Functions. Notre Dame J. Formal Log. 52 (4) (2011)
Jaap van Oosten
A General Form of Relative Recursion. Notre Dame J. Formal Log. 47 (3) (2006)
Martin Hofmann, Jaap van Oosten, Thomas Streicher
Well-foundedness in Realizability. Arch. Math. Log. 45 (7) (2006)
Claire Kouwenhoven-Gentil, Jaap van Oosten
Algebraic set theory and the effective topos. J. Symb. Log. 70 (3) (2005)
Jaap van Oosten
A partial analysis of modified realizability. J. Symb. Log. 69 (2) (2004)
Jaap van Oosten, Harold Schellinx
Preface. Ann. Pure Appl. Log. 114 (1-3) (2002)
Jaap van Oosten
Realizability: A Historical Essay. Math. Struct. Comput. Sci. 12 (3) (2002)
Lars Birkedal, Jaap van Oosten
Relative and modified relative realizability. Ann. Pure Appl. Log. 118 (1-2) (2002)
Jaap van Oosten, Alex K. Simpson
Axioms and (counter) examples in synthetic domain theory. Ann. Pure Appl. Log. 104 (1-3) (2000)
Jaap van Oosten, Alex K. Simpson
Some axiomatic results in synthetic domain theory. Electron. Notes Theor. Comput. Sci. 35 (2000)
Lars Birkedal, Jaap van Oosten, Giuseppe Rosolini, Dana S. Scott
Preface. Electron. Notes Theor. Comput. Sci. 23 (1) (1999)
Jaap van Oosten
History and Developments. Electron. Notes Theor. Comput. Sci. 23 (1) (1999)
Jaap van Oosten
Extensional Realizability. Ann. Pure Appl. Log. 84 (3) (1997)
Jaap van Oosten
Two Remarks on the Lifschitz Realizability Topos. J. Symb. Log. 61 (1) (1996)
Jaap van Oosten
Topological Aspects of Traces. Application and Theory of Petri Nets (1996)
Jaap van Oosten
Axiomatizing Higher-Order Kleene Realizability. Ann. Pure Appl. Log. 70 (1) (1994)
Jaap van Oosten
Extension of Lifschitz' Realizability to Higher Order Arithmetic, and a Solution to a Problem of F. Richman. J. Symb. Log. 56 (3) (1991)
Jaap van Oosten
A semantical proof of De Jongh's theorem. Arch. Math. Log. 31 (2) (1991)
Jaap van Oosten
Lifschitz' Realizability. J. Symb. Log. 55 (2) (1990)