| Publication | Date of Publication | Type |
|---|
| Categorical reconstruction of a reduction free normalization proof | 2022-12-16 | Paper |
| Independence results for calculi of dependent types | 2022-08-16 | Paper |
| The genesis of the groupoid model | 2022-06-24 | Paper |
| Triposes as a generalization of localic geometric morphisms | 2022-06-24 | Paper |
| An Essential Local Geometric Morphism which is not Locally Connected though its Inverse Image Part defines an Exponential Ideal | 2021-08-16 | Paper |
| Simplicial sets inside cubical sets | 2021-04-15 | Paper |
| Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice | 2019-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4580318 | 2018-08-15 | Paper |
| Fibered Categories a la Jean Benabou | 2018-01-09 | Paper |
| A Classical Realizability Model arising from a Stable Model of Untyped Lambda Calculus | 2017-12-11 | Paper |
| The intrinsic topology of Martin-Löf universes | 2016-06-03 | Paper |
| A model of type theory in simplicial sets. A brief introduction to Voevodsky's homotopy type theory | 2016-05-10 | Paper |
| Models of intuitionistic set theory in subtoposes of nested realizability toposes | 2015-05-15 | Paper |
| Observationally-induced algebras in Domain Theory | 2014-09-30 | Paper |
| Krivine's classical realisability from a categorical perspective | 2014-04-16 | Paper |
| Relating first-order set theories, toposes and categories of classes | 2013-12-10 | Paper |
| Realizability models refuting Ishihara's boundedness principle | 2012-10-11 | Paper |
| Relative Completeness for Logics of Functional Programs | 2012-09-18 | Paper |
| Constructive toposes with countable sums as models of constructive set theory | 2012-09-06 | Paper |
| A synthetic theory of sequential domains | 2012-06-01 | Paper |
| Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language | 2011-06-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5193044 | 2009-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3634677 | 2009-06-25 | Paper |
| A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language | 2009-06-11 | Paper |
| Universality Results for Models in Locally Boolean Domains | 2009-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3532205 | 2008-11-03 | Paper |
| Relating First-Order Set Theories and Elementary Toposes | 2008-10-23 | Paper |
| Shoenfield is Gödel after Krivine | 2007-05-11 | Paper |
| Domain-Theoretic Foundations of Functional Programming | 2007-01-16 | Paper |
| Well-foundedness in realizability | 2006-11-06 | Paper |
| Completeness of continuation models for \(\lambda_\mu\)-calculus | 2006-10-10 | Paper |
| Quotients of countably based spaces are not closed under sobrification | 2006-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5718564 | 2006-01-16 | Paper |
| Automata, Languages and Programming | 2006-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4660567 | 2005-04-04 | Paper |
| On the non-sequential nature of the interval-domain model of real-number computation | 2005-03-21 | Paper |
| Semantics and logic of object calculi | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4429196 | 2003-09-24 | Paper |
| General synthetic domain theory – a logical approach | 2003-09-11 | Paper |
| In Domain Realizability, not all Functionals on C[–1, 1 are Continuous] | 2003-01-08 | Paper |
| The Michael completion of a topos spread | 2002-12-02 | Paper |
| Impredicativity entails untypedness | 2002-10-31 | Paper |
| Distribution algebras and duality | 2001-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499219 | 2001-03-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5687243 | 2000-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4247303 | 2000-02-15 | Paper |
| Classical logic, continuation semantics and abstract machines | 1999-05-03 | Paper |
| Induction and recursion on the partial real line with applications to Real PCF | 1999-01-12 | Paper |
| Inductive construction of repletion | 1999-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362975 | 1998-02-25 | Paper |
| A universality theorem for PCF with recursive types, parallel-or and ∃ | 1994-12-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282579 | 1994-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5286647 | 1993-07-05 | Paper |
| Independence of the induction principle and the axiom of choice in the pure calculus of constructions | 1993-01-16 | Paper |
| Dependence and independence results for (impredicative) calculi of dependent types | 1992-09-26 | Paper |
| Specification and design of shared resource arbitration | 1992-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4733863 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3030233 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3709889 | 1985-01-01 | Paper |
