| Publication | Date of Publication | Type |
|---|
| From semantics to types: the case of the imperative \(\lambda\)-calculus | 2023-09-07 | Paper |
| On reduction and normalization in the computational core | 2023-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5057639 | 2022-12-16 | Paper |
| May and must convergency in concurrent λ-calculus | 2022-08-18 | Paper |
| Towards refinable choreographies | 2022-05-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5019695 | 2022-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4992894 | 2021-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4993849 | 2021-06-10 | Paper |
| The untyped computational \(\lambda \)-calculus and its intersection type discipline | 2020-11-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5216412 | 2020-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5216082 | 2020-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5216150 | 2020-02-14 | Paper |
| Connecting open systems of communicating finite state machines | 2019-11-28 | Paper |
| Session types and subtyping for orchestrated interactions | 2018-12-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4637692 | 2018-04-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4600774 | 2018-01-12 | Paper |
| Non-monotonic Pre-fix Points and Learning | 2017-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5367054 | 2017-10-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5277832 | 2017-07-12 | Paper |
| The approximation theorem for the Λμ-calculus | 2017-06-14 | Paper |
| A Realizability Interpretation for Intersection and Union Types | 2016-12-21 | Paper |
| Orchestrated session compliance | 2016-11-30 | Paper |
| Reversible client/server interactions | 2016-09-20 | Paper |
| Sub-behaviour relations for session-based client/server systems | 2016-07-27 | Paper |
| Interactive Realizers | 2015-09-17 | Paper |
| Knowledge Spaces and the Completeness of Learning Strategies | 2014-03-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2847776 | 2013-09-11 | Paper |
| Subtyping in Logical Form | 2013-08-16 | Paper |
| Knowledge Spaces and the Completeness of Learning Strategies | 2012-11-22 | Paper |
| A Filter Model for the λμ-Calculus | 2011-06-17 | Paper |
| Theoretical Computer Science | 2010-02-23 | Paper |
| Typing Asymmetric Client-Server Interaction | 2010-01-28 | Paper |
| Toward the interpretation of non-constructive reasoning as non-monotonic learning | 2009-03-02 | Paper |
| A Calculus of Realizers for EM 1 Arithmetic (Extended Abstract) | 2008-11-20 | Paper |
| Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca | 2008-06-24 | Paper |
| Logical equivalence for subtyping object and recursive types | 2008-04-11 | Paper |
| Theoretical Computer Science | 2006-11-01 | Paper |
| Nondeterministic extensions of untyped \(\lambda\)-calculus | 2006-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2778829 | 2002-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4490718 | 2000-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4699351 | 2000-02-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263862 | 1999-11-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4235428 | 1999-11-08 | Paper |
| A Filter Model for Concurrent $\lambda$-Calculus | 1998-09-21 | Paper |
| Filter models for conjunctive-disjunctive \(\lambda\)-calculi | 1997-02-27 | Paper |
| Intersection and union types: Syntax and semantics | 1995-08-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4835619 | 1995-07-03 | Paper |
| Combining type disciplines | 1995-06-07 | Paper |
