| Publication | Date of Publication | Type |
|---|
| (Head-)normalization of typeable rewrite systems | 2022-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4995379 | 2021-06-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4993849 | 2021-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5216150 | 2020-02-14 | Paper |
| Approximation and normalization results for typeable term rewriting systems | 2019-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4600774 | 2018-01-12 | Paper |
| Orchestrated session compliance | 2016-11-30 | Paper |
| Strict intersection types for the lambda calculus | 2014-08-13 | Paper |
| Intersection and union types for \(\mathcal{X}\) | 2013-10-02 | Paper |
| Implementing \(\mathcal{X}\) | 2013-09-25 | Paper |
| Strongly normalising cut-elimination with strict intersection types | 2013-08-16 | Paper |
| Completeness and Soundness Results for 𝒳 with Intersection and Union Types | 2013-01-24 | Paper |
| An Output-Based Semantics of Λμ with Explicit Substitution in the π-Calculus | 2012-09-21 | Paper |
| Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\) | 2011-08-26 | Paper |
| Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming | 2011-06-17 | Paper |
| A Filter Model for the λμ-Calculus | 2011-06-17 | Paper |
| Theoretical Computer Science | 2010-02-23 | Paper |
| A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types | 2009-10-22 | Paper |
| Computation with classical sequents | 2008-08-15 | Paper |
| The heart of intersection type assignment: Normalisation proofs revisited | 2008-06-24 | Paper |
| Logical equivalence for subtyping object and recursive types | 2008-04-11 | Paper |
| Programming Languages and Systems | 2007-05-02 | Paper |
| Theoretical Computer Science | 2006-11-01 | Paper |
| Theoretical Computer Science | 2006-11-01 | Paper |
| Cut-elimination in the strict intersection type assignment system is strongly normalizing | 2005-07-06 | Paper |
| Intersection types for explicit substitutions | 2004-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3044339 | 2004-08-11 | Paper |
| Normalization, approximation, and semantics for combinator systems | 2003-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766797 | 2002-07-22 | Paper |
| Intersection types for \(\lambda\)-trees | 2002-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501164 | 2000-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4268452 | 1999-10-31 | Paper |
| Comparing cubes of typed and type assignment systems | 1997-10-23 | Paper |
| Normalization results for typeable rewrite systems | 1997-06-16 | Paper |
| Intersection type assignment systems | 1997-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4880143 | 1996-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281463 | 1994-10-24 | Paper |
| Principal Type Schemes for the Strict Type Assignment System | 1994-03-27 | Paper |
| Complete restrictions of the intersection type discipline | 1992-09-27 | Paper |
