| Publication | Date of Publication | Type |
|---|
| Polymorphic Automorphisms and the Picard Group. | 2023-06-23 | Paper |
| Finiteness spaces and generalized power series | 2022-05-03 | Paper |
| Isotropy of algebraic theories | 2022-05-03 | Paper |
| Characterizations of classes of countable Boolean inverse monoids | 2022-04-21 | Paper |
| Aspects of Categorical Recursion Theory | 2021-12-08 | Paper |
| Formalizing abstract computability: Turing categories in Coq | 2019-11-12 | Paper |
| On geometry of interaction for polarized linear logic | 2018-10-25 | Paper |
| Finiteness spaces and generalized power series | 2018-05-24 | Paper |
| AF inverse monoids and the structure of countable MV-algebras | 2016-09-05 | Paper |
| Reflections on the Categorical Foundations of Mathematics | 2015-07-01 | Paper |
| Proofs as Polynomials | 2014-05-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2849878 | 2013-09-20 | Paper |
| Presheaf Models of Quantum Computation: An Outline | 2013-05-28 | Paper |
| Partially traced categories | 2013-03-06 | Paper |
| Geometry of Interaction and the Dynamics of Proof Reduction: A Tutorial | 2011-05-31 | Paper |
| Towards a typed Geometry of Interaction | 2010-06-02 | Paper |
| A categorical semantics for polarized MALL | 2007-02-14 | Paper |
| Computer Science Logic | 2006-11-01 | Paper |
| A categorical model for the geometry of interaction | 2006-03-20 | Paper |
| An exactification of the monoid of primitive recursive functions | 2006-03-17 | Paper |
| Automata, Languages and Programming | 2005-08-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4650576 | 2005-02-18 | Paper |
| Softness of hypercoherences and MALL full completeness | 2005-01-31 | Paper |
| Realizability models for BLL-like languages | 2004-08-06 | Paper |
| Geometry of Interaction and linear combinatory algebras | 2003-03-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4510741 | 2001-08-28 | Paper |
| The shuffle Hopf algebra and noncommutative full completeness | 1999-11-29 | Paper |
| Normalization and the Yoneda embedding | 1999-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222824 | 1998-12-13 | Paper |
| Linear Läuchli semantics | 1997-02-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4847021 | 1995-09-10 | Paper |
| On the \(\pi\)-calculus and linear logic | 1995-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4040149 | 1993-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035310 | 1993-05-18 | Paper |
| Bounded linear logic: A modular approach to polynomial-time computability | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4010357 | 1992-09-27 | Paper |
| An algebraic treatment of the Barwise compactness theory | 1992-06-27 | Paper |
| Functorial polymorphism | 1990-01-01 | Paper |
| Completeness proofs for propositional logic with polynomial-time connectives | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3483291 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3827990 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3801547 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3727946 | 1986-01-01 | Paper |
| Lambda‐Algebras and C‐Monoids | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3342573 | 1984-01-01 | Paper |
| NEW PROOFS OF SOME INTUITIONISTIC PRINCIPLES | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3310620 | 1982-01-01 | Paper |
| Intuitionist type theory and foundations | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3919708 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3927252 | 1981-01-01 | Paper |
| Intuitionist type theory and the free topos | 1980-01-01 | Paper |
| The „Dialectica”︁ Interpretation and Categories | 1978-01-01 | Paper |
