dblp.uni-trier.dewww.uni-trier.de

Jaap van Oosten

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
14EEMartin 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)
9EEJaap van Oosten, Alex K. Simpson: Some axiomatic results in synthetic domain theory. Electr. Notes Theor. Comput. Sci. 35: (2000)
1999
8EEJaap van Oosten: History and Developments. Electr. Notes Theor. Comput. Sci. 23(1): (1999)
7EELars 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)

Coauthor Index

1Lars Birkedal [7] [12]
2Martin Hofmann [14]
3Giuseppe Rosolini [7]
4Harold Schellinx [13]
5Dana S. Scott [7]
6Alex K. Simpson (Alex Simpson) [9] [10]
7Thomas Streicher [14]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)