Searching for authors named "Jaap van Oosten" – sorted by Relevance.
11 documents found, showing 1 through 10.
Next 10 →
-
Realizability: A historical essay
- …Introduction Realizability: A Historical Essay Jaap van Oosten Department of Mathematics P…
- Cited by 1 (0 self) – Add To MetaCart
-
Topological Aspects Of Traces
- …BRICS Basic Research in Computer Science Topological Aspects of Traces Jaap van Oosten BRICS Report…
- Cited by 3 (0 self) – Add To MetaCart
-
Fibrations and Calculi of Fractions
- …BRICS Basic Research in Computer Science Fibrations and Calculi of Fractions Jaap van Oosten BRICS…
- Cited by 3 (0 self) – Add To MetaCart
-
A general form of relative recursion
- …A general form of relative recursion Jaap van Oosten Department of Mathematics Utrecht University…
- Cited by 1 (0 self) – Add To MetaCart
-
A Combinatory Algebra for Sequential Functionals of Finite Type
- …A Combinatory Algebra for Sequential Functionals of Finite Type Jaap van Oosten Department…
- Cited by 18 (1 self) – Add To MetaCart
-
The Modified Realizability Topos
- …BRICS Basic Research in Computer Science The Modified Realizability Topos Jaap van Oosten BRICS…
- Cited by 6 (1 self) – Add To MetaCart
-
Relative and Modified Relative Realizability
- … birkedal@(email omitted); Jaap van Oosten Department of Mathematics, Utrecht University jvoosten@(email omitted); y…
- Cited by 4 (0 self) – Add To MetaCart
-
Oosten. Ordered partial combinatory algebras
- …Ordered Partial Combinatory Algebras 1 Introduction Pieter Hofstra and Jaap van Oosten Department…
- Cited by 3 (2 self) – Add To MetaCart
-
What is Intuitionism?
- …Intuitionism Jaap van Oosten Spring 1995 Revised, april 1996 1 What is Intuitionism…
- Add To MetaCart
-
Axioms and (Counter)examples in Synthetic Domain Theory
- …Axioms and (Counter)examples in Synthetic Domain Theory Jaap van Oosten Department of Mathematics…
- Cited by 7 (6 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
