| 2006 |
|---|
| 14 | EE | Martin Hofmann,
Jaap van Oosten,
Thomas Streicher:
Well-foundedness in Realizability.
Arch. Math. Log. 45(7): 795-805 (2006) |
| 2002 |
|---|
| 13 | | Jaap van Oosten,
Harold Schellinx:
Preface.
Ann. Pure Appl. Logic 114(1-3): 1-2 (2002) |
| 12 | | Lars Birkedal,
Jaap van Oosten:
Relative and modified relative realizability.
Ann. Pure Appl. Logic 118(1-2): 115-132 (2002) |
| 11 | | Jaap van Oosten:
Realizability: A Historical Essay.
Mathematical Structures in Computer Science 12(3): 239-263 (2002) |
| 2000 |
|---|
| 10 | | Jaap van Oosten,
Alex K. Simpson:
Axioms and (counter) examples in synthetic domain theory.
Ann. Pure Appl. Logic 104(1-3): 233-278 (2000) |
| 9 | EE | Jaap van Oosten,
Alex K. Simpson:
Some axiomatic results in synthetic domain theory.
Electr. Notes Theor. Comput. Sci. 35: (2000) |
| 1999 |
|---|
| 8 | EE | Jaap van Oosten:
History and Developments.
Electr. Notes Theor. Comput. Sci. 23(1): (1999) |
| 7 | EE | Lars Birkedal,
Jaap van Oosten,
Giuseppe Rosolini,
Dana S. Scott:
Preface.
Electr. Notes Theor. Comput. Sci. 23(1): (1999) |
| 1997 |
|---|
| 6 | | Jaap van Oosten:
Extensional Realizability.
Ann. Pure Appl. Logic 84(3): 317-349 (1997) |
| 1996 |
|---|
| 5 | | Jaap van Oosten:
Topological Aspects of Traces.
Application and Theory of Petri Nets 1996: 480-496 |
| 4 | | Jaap van Oosten:
Two Remarks on the Lifschitz Realizability Topos.
J. Symb. Log. 61(1): 70-79 (1996) |
| 1994 |
|---|
| 3 | | Jaap van Oosten:
Axiomatizing Higher-Order Kleene Realizability.
Ann. Pure Appl. Logic 70(1): 87-111 (1994) |
| 1991 |
|---|
| 2 | | 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): 964-973 (1991) |
| 1990 |
|---|
| 1 | | Jaap van Oosten:
Lifschitz' Realizability.
J. Symb. Log. 55(2): 805-821 (1990) |
