Jaap van Oosten - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 26 from 26

2020

The Sierpinski Object in the Scott Realizability ToposTom de Jong, Jaap van Oosten. lmcs, 16(3), 2020. [doi]

2015

Effective operations of type 2 in PCAsEric Faber, Jaap van Oosten. computability, 5(2):127-146, 2015. [doi]

A notion of homotopy for the effective toposJaap van Oosten. mscs, 25(5):1132-1146, 2015. [doi]

2014

Realizability with a local operator of A.M. PittsJaap van Oosten. TCS, 546:237-243, 2014. [doi]

The Univalent Foundations Program. Homotopy Type Theory: Univalent Foundations of Mathematics. http: //homotopytypetheory.org/book, Institute for Advanced Study, 2013, vii + 583 ppJaap van Oosten. bsl, 20(4):497-500, 2014. [doi]

2013

Basic subtoposes of the effective toposSori Lee, Jaap van Oosten. APAL, 164(9):866-883, 2013. [doi]

2012

PrefaceJuliette Kennedy, Jaap van Oosten. APAL, 163(10):1359, 2012. [doi]

2011

Partial Combinatory Algebras of FunctionsJaap van Oosten. ndjfl, 52(4):431-448, 2011. [doi]

2006

Well-foundedness in RealizabilityMartin Hofmann, Jaap van Oosten, Thomas Streicher. AML, 45(7):795-805, 2006. [doi]

A General Form of Relative RecursionJaap van Oosten. ndjfl, 47(3):311-318, 2006. [doi]

2005

Algebraic set theory and the effective toposClaire Kouwenhoven-Gentil, Jaap van Oosten. JSYML, 70(3):879-890, 2005. [doi]

2004

A partial analysis of modified realizabilityJaap van Oosten. JSYML, 69(2):421-429, 2004. [doi]

2002

Relative and modified relative realizabilityLars Birkedal, Jaap van Oosten. APAL, 118(1-2):115-132, 2002.

PrefaceJaap van Oosten, Harold Schellinx. APAL, 114(1-3):1-2, 2002.

Realizability: A Historical EssayJaap van Oosten. mscs, 12(3):239-263, 2002.

2000

Some axiomatic results in synthetic domain theoryJaap van Oosten, Alex K. Simpson. ENTCS, 35:175, 2000. [doi]

Axioms and (counter) examples in synthetic domain theoryJaap van Oosten, Alex K. Simpson. APAL, 104(1-3):233-278, 2000.

1999

PrefaceLars Birkedal, Jaap van Oosten, Giuseppe Rosolini, Dana S. Scott. ENTCS, 23(1):189-190, 1999. [doi]

History and DevelopmentsJaap van Oosten. ENTCS, 23(1):101-110, 1999. [doi]

1997

Extensional RealizabilityJaap van Oosten. APAL, 84(3):317-349, 1997.

1996

Topological Aspects of TracesJaap van Oosten. apn 1996: 480-496

Two Remarks on the Lifschitz Realizability ToposJaap van Oosten. JSYML, 61(1):70-79, 1996.

1994

Axiomatizing Higher-Order Kleene RealizabilityJaap van Oosten. APAL, 70(1):87-111, 1994.

1991

Extension of Lifschitz Realizability to Higher Order Arithmetic, and a Solution to a Problem of F. RichmanJaap van Oosten. JSYML, 56(3):964-973, 1991.

A semantical proof of De Jongh's theoremJaap van Oosten. AML, 31(2):105-114, 1991. [doi]

1990

Lifschitz RealizabilityJaap van Oosten. JSYML, 55(2):805-821, 1990.

Sign in or sign up to see more results.

runs on WebDSL