| Publication | Date of Publication | Type |
|---|
| The existential fragment of second-order propositional intuitionistic logic is undecidable | 2024-03-20 | Paper |
| Z property for the shuffling calculus | 2023-02-28 | Paper |
| Confluence proofs of lambda-mu-calculi by Z theorem | 2021-12-27 | Paper |
| A formal system of reduction paths for parallel reduction | 2020-04-21 | Paper |
| Neighbourhood and Lattice Models of Second-Order Intuitionistic Propositional Logic | 2020-01-24 | Paper |
| The Church-Rosser theorem and quantitative analysis of witnesses | 2018-12-03 | Paper |
| Compositional Z: confluence proofs for permutative conversion | 2017-03-02 | Paper |
| Decidable structures between Church-style and Curry-style | 2017-02-01 | Paper |
| Reduction rules for intuitionistic \(\lambda\rho\)-calculus | 2015-12-07 | Paper |
| A note on subject reduction in \((\to, \exists)\)-Curry with respect to complete developments | 2015-06-25 | Paper |
| Existential type systems between Church and Curry style (type-free style) | 2014-08-27 | Paper |
| The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types | 2012-11-27 | Paper |
| THE UNDECIDABILITY OF TYPE RELATED PROBLEMS IN TYPE -FREE STYLE SYSTEM F | 2012-04-25 | Paper |
| Inhabitation of polymorphic and existential types | 2011-08-26 | Paper |
| CPS-translation as adjoint | 2009-12-15 | Paper |
| Existential Type Systems with No Types in Terms | 2009-07-07 | Paper |
| Typed Lambda Calculi and Applications | 2005-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4457453 | 2004-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4454862 | 2004-03-08 | Paper |
| An interpretation of \(\lambda \mu\)-calculus in \(\lambda\)-calculus. | 2003-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4806298 | 2003-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536445 | 2002-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4548266 | 2002-08-26 | Paper |
| Domain-Freeλµ-Calculus | 2001-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2742604 | 2001-09-23 | Paper |
| On proof terms and embeddings of classical substructural logics | 2001-06-13 | Paper |
| A binary-conclusion natural deduction system | 2001-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499286 | 2001-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4705613 | 1999-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4703143 | 1999-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4704074 | 1999-12-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263869 | 1999-11-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4217956 | 1999-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4370352 | 1998-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3126937 | 1997-04-03 | Paper |
| On the adequacy of representing higher order intuitionistic logic as a pure type system | 1992-09-27 | Paper |
