| Publication | Date of Publication | Type |
|---|
| Partially typed multiparty sessions with internal delegation | 2024-11-26 | Paper |
| Global types and event structure semantics for asynchronous multiparty sessions | 2024-10-07 | Paper |
| Intersection and union types as logical formulae | 2024-09-06 | Paper |
| Partially Typed Multiparty Sessions | 2024-03-19 | Paper |
| Event structure semantics for multiparty sessions | 2024-02-23 | Paper |
| Intersection types in Java: back to the future | 2023-08-02 | Paper |
| Deconfined Global Types for Asynchronous Sessions | 2023-03-22 | Paper |
| Event structure semantics for multiparty sessions | 2023-02-03 | Paper |
| Soundness Conditions for Big-Step Semantics | 2022-10-13 | Paper |
| May and must convergency in concurrent λ-calculus | 2022-08-18 | Paper |
| Intersection and union types | 2022-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015360 | 2021-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5004960 | 2021-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4993854 | 2021-06-10 | 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 |
| https://portal.mardi4nfdi.de/entity/Q4986662 | 2021-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4965856 | 2021-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4964691 | 2021-03-03 | Paper |
| Composition and decomposition of multiparty sessions | 2021-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5146651 | 2021-01-26 | Paper |
| A tale of intersection types | 2021-01-21 | Paper |
| Concurrent Reversible Sessions | 2020-05-27 | Paper |
| Observational Equivalence for Multiparty Sessions | 2020-01-24 | Paper |
| Global types with internal delegation | 2020-01-22 | Paper |
| Reversible sessions with flexible choices | 2019-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4621132 | 2019-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4585064 | 2018-09-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5278078 | 2017-07-13 | Paper |
| Data-driven adaptation for smart sessions | 2017-07-04 | Paper |
| On Sessions and Infinite Data | 2017-06-22 | Paper |
| Isomorphism of intersection and union types | 2017-06-14 | Paper |
| A complete characterization of complete intersection-type preorders | 2017-06-13 | Paper |
| Information flow safety in multiparty sessions | 2017-04-04 | Paper |
| Isomorphism of "Functional" Intersection Types | 2017-03-13 | Paper |
| A Gentle Introduction to Multiparty Asynchronous Session Types | 2016-10-04 | Paper |
| Self-adaptation and secure information flow in multiparty communications | 2016-09-20 | Paper |
| Reversible client/server interactions | 2016-09-20 | Paper |
| Partial and complete processes in multiparty sessions | 2016-08-05 | Paper |
| Global progress for dynamically interleaved multiparty sessions | 2016-07-28 | Paper |
| Combining behavioural types with security analysis | 2015-11-10 | Paper |
| On isomorphisms of intersection types | 2015-09-17 | Paper |
| Type Disciplines for Analysing Biologically Relevant Properties | 2015-03-19 | Paper |
| Typing access control and secure information flow in sessions | 2014-10-20 | Paper |
| Preciseness of Subtyping on Intersection and Union Types | 2014-07-24 | Paper |
| Deriving session and union types for objects | 2014-04-16 | Paper |
| A behavioural model for Klop's calculus | 2013-12-04 | Paper |
| Type preorders and recursive terms | 2013-10-02 | Paper |
| M\(^3\): mobility types for mobile processes in mobile ambients | 2013-08-27 | Paper |
| The relevance of semantic subtyping | 2013-08-16 | Paper |
| A fully abstract model for mobile ambients | 2013-07-24 | Paper |
| A type inference algorithm for secure ambients | 2013-07-24 | Paper |
| Intersection Types and Computational Rules | 2013-06-06 | Paper |
| From Böhm's Theorem to Observational Equivalences | 2013-04-19 | Paper |
| Tracing where and who provenance in linked data: a calculus | 2013-01-07 | Paper |
| Typed stochastic semantics for the calculus of looping sequences | 2012-05-30 | Paper |
| On global types and multi-party sessions | 2012-04-03 | Paper |
| Extending the lambda-calculus with unbind and rebind | 2011-06-10 | Paper |
| Types for Role-Based Access Control of Dynamic Web Data | 2011-05-27 | Paper |
| A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday | 2011-05-18 | Paper |
| Session Types for Access and Information Flow Control | 2010-08-31 | Paper |
| Intersection, Universally Quantified, and Reference Types | 2009-11-12 | Paper |
| Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation | 2009-08-11 | Paper |
| Objects and session types | 2009-06-08 | Paper |
| Security Types for Dynamic Web Data | 2009-03-05 | Paper |
| Amalgamating sessions and methods in object-oriented languages with generics | 2009-03-02 | Paper |
| Global Progress in Dynamically Interleaved Multiparty Sessions | 2008-11-25 | Paper |
| On Isomorphisms of Intersection Types | 2008-11-20 | Paper |
| Bounded Session Types for Object Oriented Languages | 2008-09-17 | Paper |
| Security types for dynamic web data | 2008-08-06 | Paper |
| Session and Union Types for Object Oriented Programming | 2008-06-19 | Paper |
| Types for ambient and process mobility | 2008-04-10 | Paper |
| Asynchronous Session Types and Progress for Object Oriented Languages | 2007-11-28 | Paper |
| Boxed ambients with communication interfaces | 2007-09-06 | Paper |
| Encoding ℂDuce in the ℂπ-Calculus | 2007-09-04 | Paper |
| Space-aware ambients and processes | 2007-04-13 | Paper |
| Processes, Terms and Cycles: Steps on the Road to Infinity | 2006-11-13 | Paper |
| Trustworthy Global Computing | 2006-11-01 | Paper |
| Intersection types and lambda models | 2006-04-28 | Paper |
| Types for Proofs and Programs | 2005-12-23 | Paper |
| Compositional characterisations of \(\lambda\)-terms using intersection types | 2005-09-22 | Paper |
| Mathematical Foundations of Computer Science 2004 | 2005-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4673434 | 2005-04-29 | Paper |
| Intersection types for explicit substitutions | 2004-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3044339 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737001 | 2004-08-11 | Paper |
| Intersection types and domain operators | 2004-08-04 | Paper |
| Behavioural inverse limit \(\lambda\)-models | 2004-08-04 | Paper |
| The semantics of entailment omega | 2004-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4458488 | 2004-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4448355 | 2004-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4435466 | 2003-11-12 | Paper |
| Infinitary lambda calculus and discrimination of Berarducci trees. | 2003-05-25 | Paper |
| Discrimination by parallel observers: the algorithm. | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536366 | 2002-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766539 | 2002-07-08 | Paper |
| Approximation theorems for intersection type systems | 2002-05-05 | Paper |
| Fickle: Dynamic Object Re-classification | 2002-04-15 | Paper |
| Intersection types for \(\lambda\)-trees | 2002-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499287 | 2001-03-05 | 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/Q4235428 | 1999-11-08 | Paper |
| The ``relevance of intersection and union types | 1999-08-17 | Paper |
| A filter model for mobile processes | 1999-04-13 | Paper |
| Infinite \(\lambda\)-calculus and types | 1999-01-12 | 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 |
| Intersection types for combinatory logic | 1993-01-17 | Paper |
| Partial Types and Intervals | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4206708 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3816050 | 1987-01-01 | Paper |
| Type theories, normal forms, and \(D_{\infty}\)-lambda-models | 1987-01-01 | Paper |
| A characterization of F-complete type assignments | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3221961 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3345747 | 1984-01-01 | Paper |
| A filter lambda model and the completeness of type assignment | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3036694 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3043110 | 1982-01-01 | Paper |
| Functional Characters of Solvable Terms | 1981-01-01 | Paper |
| An extension of basic functionality theory for \(\lambda\)-calculus | 1980-01-01 | Paper |
| A discrimination algorithm inside \(\lambda -\beta\)-calculus | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4198724 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3858241 | 1979-01-01 | Paper |
| A new type assignment for λ-terms | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4175261 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4159030 | 1978-01-01 | Paper |
| Reduction of storage employed to represent families of information structures | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4133598 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4138712 | 1977-01-01 | Paper |
| Characterization of normal forms possessing inverse in the \(\lambda\)- \(\beta\)-\(\eta\)-calculus | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4109650 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4142679 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4068081 | 1974-01-01 | Paper |
| A data structure formalization through generating function | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3212645 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4053088 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4066583 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4109302 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5677053 | 1973-01-01 | Paper |
| Notes on ?A CUCH-machine: The automatic treatment of bound variables? | 1973-01-01 | Paper |
| A CUCH-machine: The automatic treatment of bound variables | 1972-01-01 | Paper |
