Realizability: An Introduction to its Categorical Side J van Oosten Elsevier Science, San Diego, 2008 | 281 | 2008 |
Realizability: a historical essay J Van Oosten Mathematical Structures in Computer Science 12 (3), 239-263, 2002 | 72 | 2002 |
Basic category theory J Van Oosten Aarhus Universitet. Basic Research in Computer Science [BRICS], 1995 | 68 | 1995 |
Ordered partial combinatory algebras P Hofstra, J Van Oosten Mathematical Proceedings of the Cambridge Philosophical Society 134 (3), 445-463, 2003 | 59 | 2003 |
A combinatory algebra for sequential functionals of finite type J Van Oosten LONDON MATHEMATICAL SOCIETY LECTURE NOTE SERIES, 389-406, 1999 | 59 | 1999 |
The modified realizability topos J van Oosten Journal of pure and applied algebra 116 (1-3), 273-289, 1997 | 44 | 1997 |
Exercises in realizability J van Oosten University of Amsterdam, 2018 | 34 | 2018 |
Extensional realizability J van Oosten Annals of pure and applied logic 84 (3), 317-349, 1997 | 33 | 1997 |
Relative and modified relative realizability L Birkedal, J van Oosten Annals of Pure and Applied Logic 118 (1-2), 115-132, 2002 | 29 | 2002 |
Lifschitz'realizability J Van Oosten The Journal of Symbolic Logic 55 (2), 805-821, 1990 | 29 | 1990 |
Axioms and (counter) examples in synthetic domain theory J van Oosten, AK Simpson Annals of pure and applied logic 104 (1-3), 233-278, 2000 | 27 | 2000 |
A semantical proof of De Jongh's theorem J van Oosten Archive for Mathematical Logic 31, 105-114, 1991 | 27 | 1991 |
A general form of relative recursion J van Oosten Notre Dame Journal of Formal Logic 47 (3), 311-318, 2006 | 22 | 2006 |
Algebraic set theory and the effective topos C Kouwenhoven-Gentil, J van Oosten The Journal of Symbolic Logic 70 (3), 879-890, 2005 | 22 | 2005 |
Basic subtoposes of the effective topos S Lee, J van Oosten Annals of Pure and Applied Logic 164 (9), 866-883, 2013 | 19 | 2013 |
Axiomatizing higher-order Kleene realizability J van Oosten Annals of Pure and Applied Logic 70 (1), 87-111, 1994 | 19 | 1994 |
More on geometric morphisms between realizability toposes E Faber, J van Oosten Theory and Applications of Categories 29 (30), 874-895, 2014 | 17 | 2014 |
Sets, models and proofs I Moerdijk, J van Oosten Springer International Publishing, 2018 | 16 | 2018 |
Partial combinatory algebras of functions J Van Oosten | 16 | 2011 |
A notion of homotopy for the effective topos J Van Oosten Mathematical Structures in Computer Science 25 (5), 1132-1146, 2015 | 14 | 2015 |