| Publication | Date of Publication | Type |
|---|
| Cut Elimination for Extended Sequent Calculi | 2024-02-29 | Paper |
| Coherence for sharing proof nets | 2022-12-09 | Paper |
| An extension of system F with subtyping | 2022-08-16 | Paper |
| From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics | 2022-02-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4963998 | 2021-02-24 | Paper |
| Interacting with Networks: How Does Structure Relate to Controllability in Single-Leader, Consensus Networks? | 2018-09-14 | Paper |
| Optimizing optimal reduction | 2017-07-12 | Paper |
| Convergence Analysis of Distributed Set-Valued Information Systems | 2017-05-03 | Paper |
| Light logics and higher-order processes | 2017-04-04 | Paper |
| Types in Programming Languages, Between Modelling, Abstraction, and Correctness | 2016-08-17 | Paper |
| (Optimal) duplication is not elementary recursive | 2015-03-17 | Paper |
| On Constructor Rewrite Systems and the Lambda Calculus | 2012-08-15 | Paper |
| Derivational Complexity Is an Invariant Cost Model | 2010-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3566722 | 2010-06-09 | Paper |
| Programming languages: Principles and paradigms | 2010-01-14 | Paper |
| Proofs as Efficient Programs | 2010-01-11 | Paper |
| On Constructor Rewrite Systems and the Lambda-Calculus | 2009-07-14 | Paper |
| Steering a Leader-Follower Team Via Linear Consensus | 2008-09-02 | Paper |
| The weak lambda calculus as a reasonable machine | 2008-06-24 | Paper |
| Logical Approaches to Computational Barriers | 2007-04-30 | Paper |
| Types for Proofs and Programs | 2005-12-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3024907 | 2005-07-04 | Paper |
| (Optimal) duplication is not elementary recursive | 2004-10-04 | Paper |
| Phase semantics and decidability of elementary affine logic | 2004-08-10 | Paper |
| Coherence for sharing proof-nets | 2003-07-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2778817 | 2002-03-21 | Paper |
| Proof nets, garbage, and computations | 2000-12-12 | Paper |
| An analysis of (linear) exponentials based on extended sequents | 2000-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942005 | 2000-03-19 | Paper |
| Experiments in linear natural deduction | 1998-07-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5688812 | 1997-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4842974 | 1996-04-22 | Paper |
| A modal view of linear logic | 1995-06-13 | Paper |
| Proof-functional connectives and realizability | 1994-12-01 | Paper |
| An extension of system \(F\) with subtyping | 1994-06-09 | Paper |
| Categorical models for non-extensional λ-calculi and combinatory logic | 1994-02-28 | Paper |
| Categorical models of polymorphism | 1992-09-27 | Paper |
| Complete logic programs with domain-closure axiom | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3787977 | 1987-01-01 | Paper |
