| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q6173574 | 2023-07-21 | Paper |
| Almost all Classical Theorems are Intuitionistic | 2023-01-23 | Paper |
| Explicit substitutions with de bruijn's levels | 2022-12-09 | Paper |
| L-types for resource awareness: an implicit name approach | 2021-12-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4993337 | 2021-06-15 | Paper |
| Almost all classical theorems are intuitionistic | 2021-04-14 | Paper |
| Extensive Infinite Games and Escalation, an exercise in Agda | 2020-06-19 | Paper |
| On the enumeration of closures and environments with an application to random generation | 2019-11-26 | Paper |
| Dependent Types for Extensive Games | 2019-09-18 | Paper |
| Combinatorics of $\lambda$-terms: a natural approach | 2018-11-20 | Paper |
| Quantitative Aspects of Linear and Affine Closed Lambda Terms | 2018-08-20 | Paper |
| Combinatorics of explicit substitutions | 2018-04-11 | Paper |
| Counting and generating terms in the binary lambda calculus | 2017-10-23 | Paper |
| A Natural Counting of Lambda Terms | 2016-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2789550 | 2016-03-01 | Paper |
| Resource control and intersection types: an intrinsic connection | 2014-12-06 | Paper |
| On semantics of a term calculus for classical logic | 2014-11-14 | Paper |
| Counting and generating lambda terms | 2014-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2851091 | 2013-10-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2848119 | 2013-09-25 | Paper |
| A Simple Case of Rationality of Escalation | 2013-09-13 | Paper |
| A journey through resource control lambda calculi and explicit substitution using intersection types (an account) | 2013-06-10 | Paper |
| Common Knowledge Logic in a Higher Order Proof Assistant | 2013-04-19 | Paper |
| On counting untyped lambda terms | 2013-03-27 | Paper |
| ``Backward coinduction, Nash equilibrium and the rationality of escalation | 2012-10-15 | Paper |
| Computational interpretation of classical logic with explicit structural rules | 2012-03-21 | Paper |
| Intersection Types for the Resource Control Lambda Calculi | 2012-01-06 | Paper |
| Resource control and strong normalisation | 2011-12-15 | Paper |
| Intuitionistic Sequent-Style Calculus with Explicit Structural Rules | 2011-07-29 | Paper |
| Computation with classical sequents | 2008-08-15 | Paper |
| Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage | 2008-06-24 | Paper |
| Strong Normalization of the Dual Classical Sequent Calculus | 2008-05-27 | Paper |
| Mechanizing common knowledge logic using COQ | 2007-08-23 | Paper |
| Theoretical Computer Science | 2006-11-01 | Paper |
| Addressed term rewriting systems: application to a typed object calculus | 2006-08-28 | Paper |
| Types for Proofs and Programs | 2005-12-23 | Paper |
| Intersection types for explicit substitutions | 2004-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4430288 | 2003-10-20 | Paper |
| Reductions, intersection types, and explicit substitutions | 2003-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2778819 | 2002-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4506396 | 2000-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4264735 | 1999-10-10 | Paper |
| λν, a calculus of explicit substitutions which preserves strong normalisation | 1997-04-29 | Paper |
| Valentin Antimirov (1961--1995) | 1997-02-27 | Paper |
| Termination of rewrite systems by elementary interpretations | 1995-05-11 | Paper |
| On termination of one rule rewrite systems | 1994-09-25 | Paper |
| Algebraic and logic programming. International workshop, Gaussig, GDR, November 14-18, 1988. Proceedings | 1993-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035223 | 1993-05-18 | Paper |
| Well rewrite orderings and well quasi-orderings | 1993-05-16 | Paper |
| The term rewriting approach to automated theorem proving | 1992-11-10 | Paper |
| Tools for proving inductive equalities, relative completeness, and \(\omega\)-completeness | 1990-01-01 | Paper |
| Termination by completion | 1990-01-01 | Paper |
| On the recursive decomposition ordering with lexicographical status and other related orderings | 1990-01-01 | Paper |
| Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems | 1990-01-01 | Paper |
| Equational problems and disunification | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3496370 | 1989-01-01 | Paper |
| Termination of rewriting systems by polynomial interpretations and its implementation | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3757390 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3783522 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3783523 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3696486 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3336681 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3336738 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3659124 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3664414 | 1983-01-01 | Paper |
| Behavioural Categoricity of Abstract Data Type Specifications | 1983-01-01 | Paper |
| On multiset orderings | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3659121 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3667939 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3953140 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3916004 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4195916 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3947712 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4156824 | 1977-01-01 | Paper |
