| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q6173574 | 2023-07-21 | Paper |
| Precise Subtyping for Asynchronous Multiparty Sessions | 2023-04-05 | Paper |
| Logic of Combinatory Logic | 2022-12-13 | Paper |
| L-types for resource awareness: an implicit name approach | 2021-12-21 | Paper |
| Logic and applications -- LAP meeting | 2021-07-08 | Paper |
| Denotational and operational preciseness of subtyping: a roadmap. Dedicated to Frank de Boer on the occasion of his 60th birthday | 2021-05-20 | Paper |
| Towards probabilistic reasoning in type theory -- the intersection type case | 2020-10-26 | Paper |
| The Duality of Classical Intersection and Union Types | 2020-01-24 | Paper |
| Precise subtyping for synchronous multiparty sessions | 2019-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4583846 | 2018-09-03 | Paper |
| Probabilistic reasoning about simply typed lambda terms | 2018-04-06 | Paper |
| Linked data privacy | 2017-04-03 | Paper |
| Binary relations and algebras on multisets | 2017-03-14 | Paper |
| Dynamic role authorization in multiparty conversations | 2016-09-20 | Paper |
| Combining behavioural types with security analysis | 2015-11-10 | Paper |
| Resource control and intersection types: an intrinsic connection | 2014-12-06 | Paper |
| An approach to call-by-name delimited continuations | 2014-09-12 | Paper |
| Preciseness of Subtyping on Intersection and Union Types | 2014-07-24 | Paper |
| Intersection and union types in the \(\bar{\lambda}\mu\tilde{\mu}\)-calculus | 2013-10-02 | Paper |
| Reducibility: a ubiquitous method in lambda calculus with intersection types | 2013-08-16 | Paper |
| A journey through resource control lambda calculi and explicit substitution using intersection types (an account) | 2013-06-10 | 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 |
| Types for role-based access control of dynamic web data | 2011-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3070759 | 2011-01-26 | Paper |
| Security Types for Dynamic Web Data | 2009-03-05 | Paper |
| Security types for dynamic web data | 2008-08-06 | Paper |
| Intersection types for λGtz-calculus | 2008-07-02 | Paper |
| Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage | 2008-06-24 | Paper |
| Characterising Strongly Normalising Intuitionistic Sequent Terms | 2008-06-03 | Paper |
| Strong Normalization of the Dual Classical Sequent Calculus | 2008-05-27 | Paper |
| Types for Proofs and Programs | 2005-12-23 | Paper |
| Behavioural inverse limit \(\lambda\)-models | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4448356 | 2004-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4435466 | 2003-11-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4794047 | 2003-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4794072 | 2003-02-16 | Paper |
| Full intersection types and topologies in lambda calculus | 2002-08-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501144 | 2000-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4492862 | 2000-07-27 | Paper |
| Lambda terms for natural deduction, sequent calculus and cut elimination | 2000-06-07 | Paper |
| The ``relevance of intersection and union types | 1999-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3125171 | 1997-03-16 | Paper |
| Strong normalization and typability with intersection types | 1996-10-14 | Paper |
| Inhabitation in Intersection and Union Type Assignment Systems | 1994-03-27 | Paper |
