| Publication | Date of Publication | Type |
|---|
| Type theory with explicit universe polymorphism | 2024-11-26 | Paper |
| Higher-order games with dependent types | 2023-09-18 | Paper |
| On Small Types in Univalent Foundations | 2023-08-26 | Paper |
| Predicative Aspects of Order Theory in Univalent Foundations | 2023-06-23 | Paper |
| Kreisel's counter-example to full abstraction of the set-theoretical model of Goedel's system T | 2023-03-16 | Paper |
| On generalized algebraic theories and categories with families | 2022-06-24 | Paper |
| Injective types in univalent mathematics | 2021-10-11 | Paper |
| The Cantor-Schröder-Bernstein theorem for \(\infty\)-groupoids | 2021-09-28 | Paper |
| A Note on Generalized Algebraic Theories and Categories with Families | 2020-12-15 | Paper |
| Domain Theory in Constructive and Predicative Univalent Foundations | 2020-08-04 | Paper |
| Partial Elements and Recursion via Dominances in Univalent Type Theory. | 2020-05-26 | Paper |
| The Cantor-Schr\"oder-Bernstein Theorem for $\infty$-groupoids | 2020-02-13 | Paper |
| Intersections of compactly many open sets are open | 2020-01-16 | Paper |
| Introduction to Univalent Foundations of Mathematics with Agda | 2019-11-01 | Paper |
| A self-contained, brief and complete formulation of Voevodsky's Univalence Axiom | 2018-03-06 | Paper |
| THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT | 2017-08-03 | Paper |
| The inconsistency of a Brouwerian continuity principle with the Curry-Howard interpretation | 2017-07-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2980980 | 2017-05-08 | Paper |
| Parametricity, automorphisms of the universe, and excluded middle | 2017-01-19 | Paper |
| Constructive decidability of classical continuity | 2016-07-27 | Paper |
| A constructive manifestation of the Kleene-Kreisel continuous functionals | 2016-06-03 | Paper |
| The intrinsic topology of Martin-Löf universes | 2016-06-03 | Paper |
| Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting | 2016-05-10 | Paper |
| Continuity of Gödel's system T definable functionals via effectful forcing | 2016-04-12 | Paper |
| BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS | 2015-05-20 | Paper |
| Abstract Datatypes for Real Numbers in Type Theory | 2014-07-24 | Paper |
| Infinite sets that Satisfy the Principle of Omniscience in any Variety of Constructive Mathematics | 2014-01-07 | Paper |
| Algorithmic solution of higher type equations | 2013-08-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2844075 | 2013-08-27 | Paper |
| Generalizations of Hedberg’s Theorem | 2013-06-28 | Paper |
| A Constructive Model of Uniform Continuity | 2013-06-28 | Paper |
| The Peirce translation | 2012-03-29 | Paper |
| Sequential games and optimal strategies | 2011-12-17 | Paper |
| Computational Interpretations of Analysis via Products of Selection Functions | 2010-07-29 | Paper |
| The Peirce Translation and the Double Negation Shift | 2010-07-29 | Paper |
| Computability of Continuous Solutions of Higher-Type Equations | 2010-07-28 | Paper |
| Selection functions, bar recursion and backward induction | 2010-05-17 | Paper |
| Operational domain theory and topology of sequential programming languages | 2009-04-16 | Paper |
| Exhaustible sets in higher-type computation | 2008-11-13 | Paper |
| Semantics of a sequential language for exact real-number computation | 2007-07-16 | Paper |
| Theory and Applications of Models of Computation | 2007-04-30 | Paper |
| On the computational content of the Lawson topology | 2006-08-16 | Paper |
| Compactly generated Hausdorff locales | 2005-12-06 | Paper |
| On the non-sequential nature of the interval-domain model of real-number computation | 2005-03-21 | Paper |
| Comparing Cartesian closed categories of (core) compactly generated spaces | 2004-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4819380 | 2004-09-24 | Paper |
| Injective locales over perfect embeddings and algebras of the upper powerlocale monad | 2004-09-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737182 | 2004-08-11 | Paper |
| Joins in the frame of nuclei | 2003-07-01 | Paper |
| Integration in Real PCF | 2003-01-14 | Paper |
| In Domain Realizability, not all Functionals on C[–1, 1 are Continuous] | 2003-01-08 | Paper |
| Function-space compactifications of function spaces | 2002-08-22 | Paper |
| The regular-locally compact coreflection of a stably locally compact locale | 2001-11-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4500949 | 2000-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4261085 | 1999-09-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4261084 | 1999-09-20 | Paper |
| Properly injective spaces and function spaces | 1999-09-06 | Paper |
| The way-below relation of function spaces over semantic domains | 1999-09-06 | Paper |
| Induction and recursion on the partial real line with applications to Real PCF | 1999-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222967 | 1999-01-06 | Paper |
| PCF extended with real numbers | 1997-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4870818 | 1996-07-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4849596 | 1995-11-09 | Paper |
