Realizability: An Introduction to Its Categorical Side von van Oosten, Jaap

Volltext

Sets, Models and Proofs von Moerdijk, Ieke

Volltext

Extensions of Scott’s Graph Model and Kleene’s Second Algebra von van Oosten, Jaap, Voorneveld, Niels

Volltext

The Sierpinski Object in the Scott Realizability Topos von Tom de Jong, Jaap van Oosten

Volltext

Realizability with a local operator of A.M. Pitts von van Oosten, Jaap

Volltext

Realizability: a historical essay von VAN OOSTEN, JAAP

Volltext

A notion of homotopy for the effective topos von VAN OOSTEN, JAAP

Volltext

The Sierpinski Object in the Scott Realizability Topos von van Oosten, Jaap, de Jong, Tom

Volltext

The Sierpinski Object in the Scott Realizability Topos von de Jong, Tom, Jaap van Oosten

Volltext

Classical and relative realizability von van Oosten, Jaap, Zou, Tingxiang

Volltext

Basic subtoposes of the effective topos von Lee, Sori, van Oosten, Jaap

Volltext

The Univalent Foundations Program. Homotopy Type Theory: Univalent Foundations of Mathematics. http://homotopytypetheory.org/book, Institute for Advanced Study, 2013, vii + 583 pp von van Oosten, Jaap

Volltext

MORE ON GEOMETRIC MORPHISMS BETWEEN REALIZABILITY TOPOSES von Faber, Eric, Van Oosten, Jaap

Volltext

Partial Combinatory Algebras of Functions von van Oosten, Jaap

Volltext

Preface von Kennedy, Juliette, van Oosten, Jaap

Volltext

A General Form of Relative Recursion von van Oosten, Jaap

Volltext

Erratum to “Filtered colimits in the effective topos” [Journal of Pure and Applied Algebra 205 (2006) 446–451] von van Oosten, Jaap

Volltext

From sets and types to topology and analysis—towards practicable foundations for constructive mathematics, edited by Laura Crosilla and Peter Schuster, Oxford Logic Guides, vol. 48... von van Oosten, Jaap

Volltext

Two remarks on the Lifschitz realizability topos von Oosten, Jaap Van

Volltext

Filtered colimits in the effective topos von van Oosten, Jaap

Volltext