| Publication | Date of Publication | Type |
|---|
| Algebraic types in PER models | 2023-04-12 | Paper |
| The S-replete construction | 2022-12-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5079725 | 2022-05-28 | Paper |
| The linear-non-linear substitution 2-monad | 2022-01-10 | Paper |
| Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures | 2018-07-16 | Paper |
| Hopf measuring comonoids and enrichment | 2017-12-13 | Paper |
| Classical lambda calculus in modern dress | 2017-06-14 | Paper |
| Measuring Comodules and Enrichment | 2017-03-29 | Paper |
| Towards a notion of lambda monoid | 2016-05-06 | Paper |
| Pseudo-distributive laws | 2016-05-03 | Paper |
| Elements of a theory of algebraic theories | 2014-07-25 | Paper |
| The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads | 2013-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2863881 | 2013-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2847418 | 2013-09-09 | Paper |
| Two-dimensional linear algebra | 2013-04-26 | Paper |
| Pseudo-commutative Monads | 2013-04-26 | Paper |
| Moduli and periods of simply connected Enriques surfaces | 2012-10-01 | Paper |
| Foreword | 2011-03-30 | Paper |
| Some reasons for generalising domain theory | 2010-05-17 | Paper |
| The Ackermann Award 2007 | 2009-03-05 | Paper |
| The cartesian closed bicategory of generalised species of structures | 2008-03-13 | Paper |
| Combining algebraic effects with continuations | 2007-05-11 | Paper |
| Categorical proof theory of classical propositional calculus | 2007-01-09 | Paper |
| Discrete Lawvere theories and computational effects | 2007-01-09 | Paper |
| Combining effects: sum and tensor | 2006-08-16 | Paper |
| Types for Proofs and Programs | 2005-12-23 | Paper |
| Computer Science Logic | 2005-08-22 | Paper |
| Traced Premonoidal Categories | 2004-03-29 | Paper |
| Glueing and orthogonality for models of linear logic | 2003-07-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411840 | 2003-07-10 | Paper |
| Proof theory in the abstract | 2003-03-22 | Paper |
| Pseudo-commutative monads and pseudo-closed 2-categories | 2002-12-02 | Paper |
| Variations on realizability: realizing the propositional axiom of choice | 2002-10-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499140 | 2001-03-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499228 | 2001-03-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4225150 | 1999-01-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4283230 | 1996-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281466 | 1994-04-07 | Paper |
| Full intuitionistic linear logic | 1994-03-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3978973 | 1992-06-26 | Paper |
| The Discrete Objects in the Effective Topos | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5752573 | 1989-01-01 | Paper |
| A small complete category | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3669406 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3671978 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3942026 | 1981-01-01 | Paper |
| Tripos theory | 1980-01-01 | Paper |
| Filter spaces and continuous functionals | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3863865 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3866268 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3855166 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3855167 | 1977-01-01 | Paper |
| A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4101793 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4101794 | 1975-01-01 | Paper |
