| Publication | Date of Publication | Type |
|---|
| Principal types as \(\lambda\) nets | 2024-08-01 | Paper |
| Final semantics for a higher order concurrent language | 2023-02-23 | Paper |
| Processes and hyperuniverses | 2022-08-18 | Paper |
| lambda!-calculus, Intersection Types, and Involutions | 2022-07-18 | Paper |
| On Quantitative Algebraic Higher-Order Theories | 2022-04-28 | Paper |
| LF+ in Coq for "fast and loose" reasoning | 2020-01-21 | Paper |
| The involutions-as-principal types/application-as-unification Analogy | 2019-07-04 | Paper |
| Innocent Game Semantics via Intersection Type Assignment Systems | 2017-02-02 | Paper |
| Implementing Cantor’s Paradise | 2016-12-21 | Paper |
| An open logical framework | 2016-04-28 | Paper |
| Multigames and strategies, coalgebraically | 2015-11-10 | Paper |
| Coalgebraic Multigames | 2015-09-11 | Paper |
| Categories of Coalgebraic Games with Selective Sum | 2015-06-26 | Paper |
| A framework for defining logical frameworks | 2013-12-06 | Paper |
| Some properties and some problems on set functors | 2013-12-04 | Paper |
| Functors determined by values on objects | 2013-10-10 | Paper |
| Coalgebraic description of generalized binary methods | 2013-10-02 | Paper |
| Coalgebraic semantics and observational equivalences of an imperative class-based OO-language | 2013-09-11 | Paper |
| Properties of set functors | 2013-09-11 | Paper |
| Modeling fresh names in the {\(\pi\)}-calculus using abstractions | 2013-09-11 | Paper |
| Generalized coiteration schemata | 2013-08-23 | Paper |
| Comparing higher-order encodings in logical frameworks and tile logic | 2013-07-24 | Paper |
| Unfixing the Fixpoint: The Theories of the λY-Calculus | 2013-05-28 | Paper |
| Categories of Coalgebraic Games | 2012-09-25 | Paper |
| Equivalences and congruences on infinite Conway games | 2012-06-04 | Paper |
| Conway Games, Coalgebraically | 2012-06-01 | Paper |
| Conway games, algebraically and coalgebraically | 2012-04-02 | Paper |
| Efficient Bisimilarities from Second-Order Reaction Semantics for π-Calculus | 2010-08-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3408153 | 2010-02-24 | Paper |
| Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi | 2009-10-22 | Paper |
| RPO, Second-order Contexts, and Lambda-calculus | 2009-08-20 | Paper |
| A Conditional Logical Framework | 2009-01-27 | Paper |
| A type assignment system for game semantics | 2008-06-24 | Paper |
| RPO, Second-Order Contexts, and λ-Calculus | 2008-04-11 | Paper |
| Coalgebraic description of generalised binary methods | 2007-09-06 | Paper |
| Types for Proofs and Programs | 2005-12-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3024839 | 2005-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3024911 | 2005-07-04 | Paper |
| Linear realizability and full completeness for typed lambda-calculi | 2005-06-23 | Paper |
| Category theory for operational semantics | 2005-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4783324 | 2002-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536349 | 2002-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753670 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499306 | 2001-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499309 | 2001-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941985 | 2000-03-19 | Paper |
| Coinductive characterizations of applicative structures | 1999-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4260710 | 1999-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4260372 | 1999-09-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4256307 | 1999-07-12 | Paper |
| Semantical analysis of perpetual strategies in \(\lambda\)-calculus | 1999-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4373418 | 1998-01-21 | Paper |
| An axiomatization of partial n-place operations | 1998-01-05 | Paper |
