| Publication | Date of Publication | Type |
|---|
| A type theory for Cartesian closed bicategories | 2024-12-19 | Paper |
| Stabilized profunctors and stable species of structures | 2024-06-27 | Paper |
| A combinatorial approach to higher-order structure for polynomial functors | 2024-05-27 | Paper |
| Semantic analysis of normalisation by evaluation for typed lambda calculus | 2023-04-27 | Paper |
| Lifting as a KZ-doctrine | 2022-12-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5094144 | 2022-08-02 | Paper |
| Semantic Analysis of Normalisation by Evaluation for Typed Lambda Calculus | 2022-07-18 | Paper |
| Coherence for bicategorical cartesian closed structure | 2022-04-05 | Paper |
| Free Commutative Monoids in Homotopy Type Theory | 2021-10-11 | Paper |
| Algebraic models of simple type theories | 2021-01-21 | Paper |
| Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure | 2021-01-21 | Paper |
| Constructing infinitary quotient-inductive types | 2020-09-23 | Paper |
| Relative full completeness for bicategorical Cartesian closed structure | 2020-09-23 | Paper |
| List Objects with Algebraic Structure | 2020-05-26 | Paper |
| Classical logic with Mendler induction | 2020-04-29 | Paper |
| Lawvere theories and C-systems | 2020-04-07 | Paper |
| Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures | 2018-07-16 | Paper |
| Substitution, jumps, and algebraic effects | 2018-04-23 | Paper |
| On the concrete representation of discrete enriched abstract clones | 2018-01-23 | Paper |
| Classical Logic with Mendler Induction | 2017-07-21 | Paper |
| Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic | 2017-07-03 | Paper |
| A theory of effects and resources: adjunction models and polarised calculi | 2016-10-24 | Paper |
| Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums | 2015-11-11 | Paper |
| Isomorphisms of generic recursive polynomial types | 2015-11-11 | Paper |
| An Axiomatics and a Combinatorial Model of Creation/Annihilation Operators | 2015-06-21 | Paper |
| Analytic functors between presheaf categories over groupoids | 2014-07-25 | Paper |
| Term Equational Systems and Logics | 2014-05-13 | Paper |
| Functorial Semantics of Second-Order Algebraic Theories | 2014-01-19 | Paper |
| The Bicategory-Theoretic Solution of Recursive Domain Equations | 2013-12-06 | Paper |
| An Equational Metalogic for Monadic Equational Systems | 2013-10-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2847808 | 2013-09-11 | Paper |
| System F i | 2013-06-28 | Paper |
| The Algebra of Directed Acyclic Graphs | 2013-05-28 | Paper |
| Discrete Generalised Polynomial Functors | 2012-11-01 | Paper |
| On the mathematical synthesis of equational logics | 2012-04-02 | Paper |
| Second-Order Equational Logic (Extended Abstract) | 2010-09-03 | Paper |
| Second-Order Algebraic Theories | 2010-09-03 | Paper |
| An abstract characterization of Thompson's group \(F\). | 2010-05-21 | Paper |
| On the construction of free algebras for equational systems | 2009-04-29 | Paper |
| A congruence rule format for name-passing process calculi | 2009-04-14 | Paper |
| Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic | 2009-03-10 | Paper |
| The cartesian closed bicategory of generalised species of structures | 2008-03-13 | Paper |
| Equational Systems and Free Constructions (Extended Abstract) | 2007-11-28 | Paper |
| An objective representation of the Gaussian integers | 2007-08-24 | Paper |
| Remarks on isomorphisms in typed lambda calculi with empty and sum types | 2006-08-16 | Paper |
| Comparing operational models of name-passing process calculi | 2006-06-30 | Paper |
| Foundations of Software Science and Computational Structures | 2005-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4680362 | 2005-06-01 | Paper |
| Objects of categories as complex numbers | 2005-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536442 | 2002-06-25 | Paper |
| Unique factorisation lifting functors and categories of linearly-controlled processes | 2002-06-15 | Paper |
| A fully abstract model for the \(\pi\)-calculus. | 2002-01-01 | Paper |
| Domains in \(H\) | 2001-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4936144 | 2000-01-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263868 | 1999-11-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222887 | 1998-12-20 | Paper |
| Axiomatic Domain Theory in Categories of Partial Maps | 1998-06-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362914 | 1998-03-17 | Paper |
| An enrichment theorem for an axiomatisation of categories of domains and continuous functions | 1998-03-12 | Paper |
| Two models of synthetic domain theory | 1998-01-11 | Paper |
| A coinduction principle for recursive data types based on bisimulation | 1997-08-17 | Paper |
| Order-enrichment for categories of partial maps | 1996-10-21 | Paper |
| Stabilized profunctors and stable species of structures | N/A | Paper |
| Fixpoint constructions in focused orthogonality models of linear logic | N/A | Paper |
| Monoidal bicategories, differential linear logic, and analytic functors | N/A | Paper |
