@article{Oosten91,
  title = {Extension of Lifschitz  Realizability to Higher Order Arithmetic, and a Solution to a Problem of F. Richman},
  author = {Jaap van Oosten},
  year = {1991},
  researchr = {https://researchr.org/publication/Oosten91},
  cites = {0},
  citedby = {0},
  journal = {JSYML},
  volume = {56},
  number = {3},
  pages = {964-973},
}

@article{Oosten97,
  title = {Extensional Realizability},
  author = {Jaap van Oosten},
  year = {1997},
  researchr = {https://researchr.org/publication/Oosten97},
  cites = {0},
  citedby = {0},
  journal = {APAL},
  volume = {84},
  number = {3},
  pages = {317-349},
}

@article{BirkedalO02,
  title = {Relative and modified relative realizability},
  author = {Lars Birkedal and Jaap van Oosten},
  year = {2002},
  researchr = {https://researchr.org/publication/BirkedalO02},
  cites = {0},
  citedby = {0},
  journal = {APAL},
  volume = {118},
  number = {1-2},
  pages = {115-132},
}

@article{OostenS00:0,
  title = {Axioms and (counter) examples in synthetic domain theory},
  author = {Jaap van Oosten and Alex K. Simpson},
  year = {2000},
  researchr = {https://researchr.org/publication/OostenS00%3A0},
  cites = {0},
  citedby = {0},
  journal = {APAL},
  volume = {104},
  number = {1-3},
  pages = {233-278},
}

@inproceedings{Oosten96,
  title = {Topological Aspects of Traces},
  author = {Jaap van Oosten},
  year = {1996},
  researchr = {https://researchr.org/publication/Oosten96},
  cites = {0},
  citedby = {0},
  pages = {480-496},
  booktitle = {apn},
}

@article{Oosten99,
  title = {History and Developments},
  author = {Jaap van Oosten},
  year = {1999},
  url = {http://www.elsevier.com/gej-ng/31/29/23/92/27/show/Products/notes/index.htt#009},
  tags = {history},
  researchr = {https://researchr.org/publication/Oosten99},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {23},
  number = {1},
  pages = {101-110},
}

@article{BirkedalORS99,
  title = {Preface},
  author = {Lars Birkedal and Jaap van Oosten and Giuseppe Rosolini and Dana S. Scott},
  year = {1999},
  url = {http://www.elsevier.com/gej-ng/31/29/23/92/27/show/Products/notes/index.htt#001},
  researchr = {https://researchr.org/publication/BirkedalORS99},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {23},
  number = {1},
  pages = {189-190},
}

@article{OostenS00,
  title = {Some axiomatic results in synthetic domain theory},
  author = {Jaap van Oosten and Alex K. Simpson},
  year = {2000},
  url = {http://www.elsevier.com/gej-ng/31/29/23/65/22/show/Products/notes/index.htt#020},
  researchr = {https://researchr.org/publication/OostenS00},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {35},
  pages = {175},
}

@article{HofmannOS06,
  title = {Well-foundedness in Realizability},
  author = {Martin Hofmann and Jaap van Oosten and Thomas Streicher},
  year = {2006},
  doi = {10.1007/s00153-006-0003-5},
  url = {http://dx.doi.org/10.1007/s00153-006-0003-5},
  researchr = {https://researchr.org/publication/HofmannOS06},
  cites = {0},
  citedby = {0},
  journal = {AML},
  volume = {45},
  number = {7},
  pages = {795-805},
}

@article{Oosten90,
  title = {Lifschitz  Realizability},
  author = {Jaap van Oosten},
  year = {1990},
  researchr = {https://researchr.org/publication/Oosten90},
  cites = {0},
  citedby = {0},
  journal = {JSYML},
  volume = {55},
  number = {2},
  pages = {805-821},
}

@article{Oosten02,
  title = {Realizability: A Historical Essay},
  author = {Jaap van Oosten},
  year = {2002},
  researchr = {https://researchr.org/publication/Oosten02},
  cites = {0},
  citedby = {0},
  journal = {mscs},
  volume = {12},
  number = {3},
  pages = {239-263},
}

@article{Oosten94,
  title = {Axiomatizing Higher-Order Kleene Realizability},
  author = {Jaap van Oosten},
  year = {1994},
  researchr = {https://researchr.org/publication/Oosten94},
  cites = {0},
  citedby = {0},
  journal = {APAL},
  volume = {70},
  number = {1},
  pages = {87-111},
}

@article{Oosten96:0,
  title = {Two Remarks on the Lifschitz Realizability Topos},
  author = {Jaap van Oosten},
  year = {1996},
  researchr = {https://researchr.org/publication/Oosten96%3A0},
  cites = {0},
  citedby = {0},
  journal = {JSYML},
  volume = {61},
  number = {1},
  pages = {70-79},
}

@article{OostenS02,
  title = {Preface},
  author = {Jaap van Oosten and Harold Schellinx},
  year = {2002},
  researchr = {https://researchr.org/publication/OostenS02},
  cites = {0},
  citedby = {0},
  journal = {APAL},
  volume = {114},
  number = {1-3},
  pages = {1-2},
}