| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 7828631 (Why is no real title available?) | 2024-04-08 | Paper |
scientific article; zbMATH DE number 7243674 (Why is no real title available?)
(available as arXiv preprint) | 2020-09-04 | Paper |
| scientific article; zbMATH DE number 7243674 (Why is no real title available?) | 2020-09-04 | Paper |
Topological aspects of traces
Application and Theory of Petri Nets 1996 | 2019-05-02 | Paper |
The Sierpinski Object in the Scott Realizability Topos
(available as arXiv preprint) | 2019-04-30 | Paper |
Sets, models and proofs
Springer Undergraduate Mathematics Series | 2018-07-23 | Paper |
Extensions of Scott's graph model and Kleene's second algebra
Indagationes Mathematicae. New Series | 2018-01-12 | Paper |
A notion of homotopy for the effective topos
Mathematical Structures in Computer Science | 2016-07-27 | Paper |
Effective operations of type 2 in PCAs
Computability | 2016-07-25 | Paper |
| Classical and relative realizability | 2016-07-07 | Paper |
Classical and relative realizability
(available as arXiv preprint) | 2016-07-07 | Paper |
Book review of: The Univalent Foundations Program, Homotopy type theory. Univalent foundations of mathematics
The Bulletin of Symbolic Logic | 2016-03-18 | Paper |
| More on Geometric Morphisms between Realizability Toposes | 2015-04-28 | Paper |
More on Geometric Morphisms between Realizability Toposes
(available as arXiv preprint) | 2015-04-28 | Paper |
Book review of: Helmut Schwichtenberg and Stanley S. Wainer, Proofs and computations
Nieuw Archief voor Wiskunde. Vijfde Serie | 2014-08-28 | Paper |
Realizability with a local operator of A. M. Pitts
Theoretical Computer Science | 2014-07-25 | Paper |
Basic subtoposes of the effective topos
Annals of Pure and Applied Logic | 2013-12-11 | Paper |
Partial combinatory algebras of functions
Notre Dame Journal of Formal Logic | 2011-12-21 | Paper |
Realizability. An introduction to its categorical side
Studies in Logic and the Foundations of Mathematics | 2009-04-08 | Paper |
A general form of relative recursion
Notre Dame Journal of Formal Logic | 2007-02-20 | Paper |
Well-foundedness in realizability
Archive for Mathematical Logic | 2006-11-06 | Paper |
Filtered colimits in the effective topos
Journal of Pure and Applied Algebra | 2006-03-29 | Paper |
Algebraic set theory and the effective topos
Journal of Symbolic Logic | 2006-01-16 | Paper |
A partial analysis of modified realizability
Journal of Symbolic Logic | 2005-08-29 | Paper |
Ordered partial combinatory algebras
Mathematical Proceedings of the Cambridge Philosophical Society | 2003-10-13 | Paper |
Relative and modified relative realizability
Annals of Pure and Applied Logic | 2002-12-02 | Paper |
Realizability: a historical essay
Mathematical Structures in Computer Science | 2002-10-31 | Paper |
Axioms and (counter)examples in synthetic domain theory
Annals of Pure and Applied Logic | 2001-05-16 | Paper |
| scientific article; zbMATH DE number 1497735 (Why is no real title available?) | 2001-03-06 | Paper |
| scientific article; zbMATH DE number 1531373 (Why is no real title available?) | 2001-02-28 | Paper |
| scientific article; zbMATH DE number 1405588 (Why is no real title available?) | 2000-07-04 | Paper |
Fibrations and calculi of fractions
Journal of Pure and Applied Algebra | 2000-05-30 | Paper |
Extensional realizability
Annals of Pure and Applied Logic | 1998-02-04 | Paper |
The modified realizability topos
Journal of Pure and Applied Algebra | 1998-02-03 | Paper |
Two remarks on the Lifschitz realizability topos
Journal of Symbolic Logic | 1997-01-13 | Paper |
Axiomatizing higher-order Kleene realizability
Annals of Pure and Applied Logic | 1994-12-19 | Paper |
Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman
Journal of Symbolic Logic | 1992-06-27 | Paper |
A semantical proof of De Jongh's theorem
Archive for Mathematical Logic | 1992-06-25 | Paper |
Lifschitz' realizability
Journal of Symbolic Logic | 1990-01-01 | Paper |
