Jaap van Oosten - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 14 from 14

2006

Well-foundedness in RealizabilityMartin Hofmann, Jaap van Oosten, Thomas Streicher. AML, 45(7):795-805, 2006. [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.

1990

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

Sign in or sign up to see more results.

runs on WebDSL