Jaap van Oosten

According to our database, Jaap van Oosten authored at least 26 papers between 1990 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

The Sierpinski Object in the Scott Realizability Topos.

Tom de Jong, Jaap van Oosten

Log. Methods Comput. Sci., 2020

2016

Effective operations of type 2 in PCAs.

Eric Faber, Jaap van Oosten

Comput., 2016

2015

A notion of homotopy for the effective topos.

Jaap van Oosten

Math. Struct. Comput. Sci., 2015

2014

Realizability with a local operator of A.M. Pitts.

Jaap van Oosten

Theor. Comput. Sci., 2014

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

2013

Basic subtoposes of the effective topos.

Sori Lee, Jaap van Oosten

Ann. Pure Appl. Log., 2013

2012

Preface.

Juliette Kennedy, Jaap van Oosten

Ann. Pure Appl. Log., 2012

2011

Partial Combinatory Algebras of Functions.

Jaap van Oosten

Notre Dame J. Formal Log., 2011

2006

A General Form of Relative Recursion.

Jaap van Oosten

Notre Dame J. Formal Log., 2006

Well-foundedness in Realizability.

Martin Hofmann, Jaap van Oosten, Thomas Streicher

Arch. Math. Log., 2006

2005

Algebraic set theory and the effective topos.

Claire Kouwenhoven-Gentil, Jaap van Oosten

J. Symb. Log., 2005

2004

A partial analysis of modified realizability.

Jaap van Oosten

J. Symb. Log., 2004

2002

Realizability: A Historical Essay.

Jaap van Oosten

Math. Struct. Comput. Sci., 2002

Preface.

Jaap van Oosten, Harold Schellinx

Ann. Pure Appl. Log., 2002

Relative and modified relative realizability.

Lars Birkedal, Jaap van Oosten

Ann. Pure Appl. Log., 2002

2000

Axioms and (counter) examples in synthetic domain theory.

Jaap van Oosten, Alex K. Simpson

Ann. Pure Appl. Log., 2000

1999

History and Developments.

Jaap van Oosten

Proceedings of the Tutorial Workshop on Realizability Semantics and Applications, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June 30, 1999

Preface.

Lars Birkedal, Jaap van Oosten, Giuseppe Rosolini, Dana S. Scott

Proceedings of the Tutorial Workshop on Realizability Semantics and Applications, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June 30, 1999

1998

Some axiomatic results in synthetic domain theory.

Jaap van Oosten, Alex K. Simpson

Proceedings of the Workshop on Domains IV 1998, 1998

1997

Extensional Realizability.

Jaap van Oosten

Ann. Pure Appl. Log., 1997

1996

Two Remarks on the Lifschitz Realizability Topos.

Jaap van Oosten

J. Symb. Log., 1996

Topological Aspects of Traces.

Jaap van Oosten

Proceedings of the Application and Theory of Petri Nets 1996, 1996

1994

Axiomatizing Higher-Order Kleene Realizability.

Jaap van Oosten

Ann. Pure Appl. Log., 1994

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

A semantical proof of De Jongh's theorem.

Jaap van Oosten

Arch. Math. Log., 1991

1990

Lifschitz' Realizability.

Jaap van Oosten

J. Symb. Log., 1990