| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q6153340 | 2024-02-13 | Paper |
| Infinite Horizon Extensive Form Games, Coalgebraically | 2023-08-04 | Paper |
| Categorical foundations of gradient-based learning | 2023-08-03 | Paper |
| Compositional Game Theory, Compositionally | 2022-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020955 | 2022-01-07 | Paper |
| Compositional Game Theory | 2021-01-20 | Paper |
| Variations on inductive-recursive definitions | 2020-05-26 | Paper |
| Universal properties for universal types in bifibrational parametricity | 2019-05-27 | Paper |
| Three Equivalent Ordinal Notation Systems in Cubical Agda | 2019-04-24 | Paper |
| A compositional treatment of iterated open games | 2018-07-26 | Paper |
| On modular properties of higher order extensional lambda calculi | 2018-07-04 | Paper |
| Indexed containers | 2017-10-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5277830 | 2017-07-12 | Paper |
| Fibred Data Types | 2017-07-03 | Paper |
| Bifibrational functorial semantics of parametric polymorphism | 2016-12-16 | Paper |
| Proof-Relevant Parametricity | 2016-08-17 | Paper |
| Containers, monads and induction recursion | 2016-07-28 | Paper |
| Comprehensive Parametric Polymorphism: Categorical Models and Type Theory | 2016-06-10 | Paper |
| Dependent Types and Fibred Computational Effects | 2016-06-10 | Paper |
| Continuous Functions on Final Coalgebras | 2016-05-10 | Paper |
| Composing monads using coproducts | 2015-10-07 | Paper |
| Parametric Polymorphism — Universally | 2015-09-24 | Paper |
| Positive Inductive-Recursive Definitions | 2015-04-22 | Paper |
| Monadic augment and generalised short cut fusion | 2015-01-06 | Paper |
| Foundations for structured programming with GADTs | 2014-09-12 | Paper |
| Modularity and Implementation of Mathematical Operational Semantics | 2014-06-27 | Paper |
| A relationally parametric model of dependent type theory | 2014-04-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2863899 | 2013-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2848697 | 2013-09-26 | Paper |
| Positive Inductive-Recursive Definitions | 2013-09-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2847810 | 2013-09-11 | Paper |
| Indexed Induction and Coinduction, Fibrationally | 2013-09-06 | Paper |
| Coalgebraic Monads | 2013-08-15 | Paper |
| Computing over K-modules | 2013-07-24 | Paper |
| Small Induction Recursion | 2013-06-28 | Paper |
| Algebras, Coalgebras, Monads and Comonads | 2013-04-26 | Paper |
| Generic Fibrational Induction | 2012-07-03 | Paper |
| Fibrational Induction Meets Effects | 2012-06-22 | Paper |
| Refining Inductive Types | 2012-06-11 | Paper |
| Indexed Induction and Coinduction, Fibrationally | 2011-09-02 | Paper |
| When Is a Type Refinement an Inductive Type? | 2011-05-19 | Paper |
| Fibrational Induction Rules for Initial Algebras | 2010-09-03 | Paper |
| A principled approach to programming with nested types in Haskell | 2010-03-05 | Paper |
| Representations of Stream Processors Using Nested Fixed Points | 2010-01-28 | Paper |
| A UNIVERSE OF STRICTLY POSITIVE FAMILIES | 2009-04-14 | Paper |
| Higher Dimensional Trees, Algebraically | 2009-03-10 | Paper |
| Initial Algebra Semantics Is Enough! | 2009-03-10 | Paper |
| Proving Properties about Lists Using Containers | 2008-04-11 | Paper |
| Monadic augment and generalised short cut fusion | 2007-11-22 | Paper |
| String rewriting for double coset systems. | 2007-10-23 | Paper |
| Explicit substitutions and higher-order syntax | 2006-11-17 | Paper |
| Programming Languages and Systems | 2005-08-17 | Paper |
| Monads of coalgebras: rational terms and term graphs | 2005-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3024834 | 2005-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3024906 | 2005-07-04 | Paper |
| Coproducts of Ideal Monads | 2005-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4825543 | 2004-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737122 | 2004-08-11 | Paper |
| Solving Algebraic Equations Using Coalgebra | 2004-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4447251 | 2004-02-16 | Paper |
| Linear explicit substitutions | 2004-01-28 | Paper |
| Dualising initial algebras | 2003-10-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4260707 | 1999-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4219051 | 1998-11-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362961 | 1998-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362917 | 1997-11-13 | Paper |
| The virtues of eta-expansion | 1995-10-09 | Paper |
