| Publication | Date of Publication | Type |
|---|
Partially typed multiparty sessions with internal delegation
Journal of Logical and Algebraic Methods in Programming | 2024-11-26 | Paper |
Global types and event structure semantics for asynchronous multiparty sessions
Fundamenta Informaticae | 2024-10-07 | Paper |
Intersection and union types as logical formulae
| 2024-09-06 | Paper |
Partially Typed Multiparty Sessions
Electronic Proceedings in Theoretical Computer Science | 2024-03-19 | Paper |
Event structure semantics for multiparty sessions
Models, Languages, and Tools for Concurrent and Distributed Programming | 2024-02-23 | Paper |
Intersection types in Java: back to the future
Lecture Notes in Computer Science | 2023-08-02 | Paper |
Deconfined Global Types for Asynchronous Sessions
Logical Methods in Computer Science | 2023-03-22 | Paper |
Event structure semantics for multiparty sessions
Journal of Logical and Algebraic Methods in Programming | 2023-02-03 | Paper |
Soundness conditions for big-step semantics
Programming Languages and Systems | 2022-10-13 | Paper |
May and must convergency in concurrent λ-calculus
Mathematical Foundations of Computer Science 1994 | 2022-08-18 | Paper |
Intersection and union types
Lecture Notes in Computer Science | 2022-08-16 | Paper |
Reversible multiparty sessions with checkpoints
| 2021-12-07 | Paper |
Corrado Böhm. The \(\lambda\)-adventure
| 2021-08-03 | Paper |
Toward isomorphism of intersection and union types
| 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 |
A calculus of looping sequences with local rules
| 2021-04-27 | Paper |
scientific article; zbMATH DE number 7319029 (Why is no real title available?)
| 2021-03-10 | Paper |
Intersection types for unbind and rebind
| 2021-03-03 | Paper |
Composition and decomposition of multiparty sessions
Journal of Logical and Algebraic Methods in Programming | 2021-02-26 | Paper |
scientific article; zbMATH DE number 7301530 (Why is no real title available?)
| 2021-01-26 | Paper |
A tale of intersection types
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-21 | Paper |
Concurrent reversible sessions
| 2020-05-27 | Paper |
Observational equivalence for multiparty sessions
Fundamenta Informaticae | 2020-01-24 | Paper |
Global types with internal delegation
Theoretical Computer Science | 2020-01-22 | Paper |
Reversible sessions with flexible choices
Acta Informatica | 2019-10-17 | Paper |
A calculus of evolving objects
| 2019-02-08 | Paper |
scientific article; zbMATH DE number 6932679 (Why is no real title available?)
| 2018-09-06 | Paper |
On the preciseness of subtyping in session types
| 2017-07-13 | Paper |
Data-driven adaptation for smart sessions
Journal of Logical and Algebraic Methods in Programming | 2017-07-04 | Paper |
On sessions and infinite data
| 2017-06-22 | Paper |
Isomorphism of intersection and union types
Mathematical Structures in Computer Science | 2017-06-14 | Paper |
A complete characterization of complete intersection-type preorders
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Information flow safety in multiparty sessions
Mathematical Structures in Computer Science | 2017-04-04 | Paper |
Isomorphism of "Functional" Intersection Types
| 2017-03-13 | Paper |
A gentle introduction to multiparty asynchronous session types
Lecture Notes in Computer Science | 2016-10-04 | Paper |
Self-adaptation and secure information flow in multiparty communications
Formal Aspects of Computing | 2016-09-20 | Paper |
Reversible client/server interactions
Formal Aspects of Computing | 2016-09-20 | Paper |
Partial and complete processes in multiparty sessions
| 2016-08-05 | Paper |
Global progress for dynamically interleaved multiparty sessions
Mathematical Structures in Computer Science | 2016-07-28 | Paper |
Combining behavioural types with security analysis
Journal of Logical and Algebraic Methods in Programming | 2015-11-10 | Paper |
On isomorphisms of intersection types
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Type Disciplines for Analysing Biologically Relevant Properties
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
Typing access control and secure information flow in sessions
Information and Computation | 2014-10-20 | Paper |
Preciseness of subtyping on intersection and union types
Lecture Notes in Computer Science | 2014-07-24 | Paper |
Deriving session and union types for objects
Mathematical Structures in Computer Science | 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
Electronic Notes in Theoretical Computer Science | 2013-08-16 | Paper |
A fully abstract model for mobile ambients
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
A type inference algorithm for secure ambients
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
Intersection types and computational rules
Electronic Notes in Theoretical Computer Science | 2013-06-06 | Paper |
From Böhm's theorem to observational equivalences: an informal account
Electronic Notes in Theoretical Computer Science | 2013-04-19 | Paper |
Tracing where and who provenance in linked data: a calculus
Theoretical Computer Science | 2013-01-07 | Paper |
Typed stochastic semantics for the calculus of looping sequences
Theoretical Computer Science | 2012-05-30 | Paper |
On global types and multi-party sessions
Logical Methods in Computer Science | 2012-04-03 | Paper |
Extending the lambda-calculus with unbind and rebind
RAIRO - Theoretical Informatics and Applications | 2011-06-10 | Paper |
Types for role-based access control of dynamic web data
Functional and Constraint Logic Programming | 2011-05-27 | Paper |
A formalism for the description of protein interaction. Dedicated to Jerzy Tiuryn on the occasion of his 60th birthday
Fundamenta Informaticae | 2011-05-18 | Paper |
Session types for access and information flow control
CONCUR 2010 - Concurrency Theory | 2010-08-31 | Paper |
Intersection, Universally Quantified, and Reference Types
Computer Science Logic | 2009-11-12 | Paper |
Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
Lecture Notes in Computer Science | 2009-08-11 | Paper |
Objects and session types
Information and Computation | 2009-06-08 | Paper |
Security Types for Dynamic Web Data
Trustworthy Global Computing | 2009-03-05 | Paper |
Amalgamating sessions and methods in object-oriented languages with generics
Theoretical Computer Science | 2009-03-02 | Paper |
Global Progress in Dynamically Interleaved Multiparty Sessions
CONCUR 2008 - Concurrency Theory | 2008-11-25 | Paper |
On Isomorphisms of Intersection Types
Computer Science Logic | 2008-11-20 | Paper |
Bounded Session Types for Object Oriented Languages
Formal Methods for Components and Objects | 2008-09-17 | Paper |
Security types for dynamic web data
Theoretical Computer Science | 2008-08-06 | Paper |
Session and Union Types for Object Oriented Programming
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Types for ambient and process mobility
Mathematical Structures in Computer Science | 2008-04-10 | Paper |
Asynchronous Session Types and Progress for Object Oriented Languages
Lecture Notes in Computer Science | 2007-11-28 | Paper |
Boxed ambients with communication interfaces
Mathematical Structures in Computer Science | 2007-09-06 | Paper |
Encoding ℂDuce in the ℂπ-Calculus
CONCUR 2006 – Concurrency Theory | 2007-09-04 | Paper |
Space-aware ambients and processes
Theoretical Computer Science | 2007-04-13 | Paper |
Processes, Terms and Cycles: Steps on the Road to Infinity
Lecture Notes in Computer Science | 2006-11-13 | Paper |
Trustworthy Global Computing
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Intersection types and lambda models
Theoretical Computer Science | 2006-04-28 | Paper |
Types for Proofs and Programs
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Compositional characterisations of \(\lambda\)-terms using intersection types
Theoretical Computer Science | 2005-09-22 | Paper |
Mathematical Foundations of Computer Science 2004
Lecture Notes in Computer Science | 2005-08-22 | Paper |
scientific article; zbMATH DE number 2163047 (Why is no real title available?)
| 2005-04-29 | Paper |
Intersection types for explicit substitutions
Information and Computation | 2004-11-23 | Paper |
scientific article; zbMATH DE number 2086241 (Why is no real title available?)
| 2004-08-11 | Paper |
scientific article; zbMATH DE number 2086520 (Why is no real title available?)
| 2004-08-11 | Paper |
Intersection types and domain operators
Theoretical Computer Science | 2004-08-04 | Paper |
Behavioural inverse limit \(\lambda\)-models
Theoretical Computer Science | 2004-08-04 | Paper |
The semantics of entailment omega
Notre Dame Journal of Formal Logic | 2004-05-27 | Paper |
scientific article; zbMATH DE number 2060756 (Why is no real title available?)
| 2004-03-18 | Paper |
scientific article; zbMATH DE number 2044491 (Why is no real title available?)
| 2004-02-18 | Paper |
scientific article; zbMATH DE number 2003154 (Why is no real title available?)
| 2003-11-12 | Paper |
Infinitary lambda calculus and discrimination of Berarducci trees.
Theoretical Computer Science | 2003-05-25 | Paper |
Discrimination by parallel observers: the algorithm.
Information and Computation | 2003-01-14 | Paper |
scientific article; zbMATH DE number 1759417 (Why is no real title available?)
| 2002-11-04 | Paper |
scientific article; zbMATH DE number 1696439 (Why is no real title available?)
| 2002-07-08 | Paper |
Approximation theorems for intersection type systems
Journal of Logic and Computation | 2002-05-05 | Paper |
Fickle: Dynamic Object Re-classification
ECOOP 2001 — Object-Oriented Programming | 2002-04-15 | Paper |
Intersection types for \(\lambda\)-trees
Theoretical Computer Science | 2002-03-03 | Paper |
scientific article; zbMATH DE number 1497857 (Why is no real title available?)
| 2001-03-05 | Paper |
scientific article; zbMATH DE number 1479607 (Why is no real title available?)
| 2000-07-20 | Paper |
scientific article; zbMATH DE number 1361533 (Why is no real title available?)
| 2000-02-01 | Paper |
scientific article; zbMATH DE number 1267558 (Why is no real title available?)
| 1999-11-08 | Paper |
The ``relevance of intersection and union types
Notre Dame Journal of Formal Logic | 1999-08-17 | Paper |
A filter model for mobile processes
Mathematical Structures in Computer Science | 1999-04-13 | Paper |
Infinite \(\lambda\)-calculus and types
Theoretical Computer Science | 1999-01-12 | Paper |
A Filter Model for Concurrent $\lambda$-Calculus
SIAM Journal on Computing | 1998-09-21 | Paper |
Filter models for conjunctive-disjunctive \(\lambda\)-calculi
Theoretical Computer Science | 1997-02-27 | Paper |
Intersection and union types: Syntax and semantics
Information and Computation | 1995-08-02 | Paper |
scientific article; zbMATH DE number 761284 (Why is no real title available?)
| 1995-07-03 | Paper |
Combining type disciplines
Annals of Pure and Applied Logic | 1995-06-07 | Paper |
Intersection types for combinatory logic
Theoretical Computer Science | 1993-01-17 | Paper |
Partial Types and Intervals
SIAM Journal on Computing | 1990-01-01 | Paper |
scientific article; zbMATH DE number 4127172 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4087626 (Why is no real title available?)
| 1987-01-01 | Paper |
Type theories, normal forms, and \(D_{\infty}\)-lambda-models
Information and Computation | 1987-01-01 | Paper |
A characterization of F-complete type assignments
Theoretical Computer Science | 1986-01-01 | Paper |
scientific article; zbMATH DE number 3889502 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3880074 (Why is no real title available?)
| 1984-01-01 | Paper |
A filter lambda model and the completeness of type assignment
Journal of Symbolic Logic | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3831284 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3835992 (Why is no real title available?)
| 1982-01-01 | Paper |
Functional Characters of Solvable Terms
Mathematical Logic Quarterly | 1981-01-01 | Paper |
An extension of basic functionality theory for \(\lambda\)-calculus
Notre Dame Journal of Formal Logic | 1980-01-01 | Paper |
A discrimination algorithm inside \(\lambda -\beta\)-calculus
Theoretical Computer Science | 1979-01-01 | Paper |
scientific article; zbMATH DE number 3637819 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3659565 (Why is no real title available?)
| 1979-01-01 | Paper |
A new type assignment for λ-terms
Archiv für Mathematische Logik und Grundlagenforschung | 1978-01-01 | Paper |
scientific article; zbMATH DE number 3611324 (Why is no real title available?)
| 1978-01-01 | Paper |
scientific article; zbMATH DE number 3591961 (Why is no real title available?)
| 1978-01-01 | Paper |
Reduction of storage employed to represent families of information structures
Calcolo | 1977-01-01 | Paper |
scientific article; zbMATH DE number 3557747 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3566822 (Why is no real title available?)
| 1977-01-01 | Paper |
Characterization of normal forms possessing inverse in the \(\lambda\)- \(\beta\)-\(\eta\)-calculus
Theoretical Computer Science | 1976-01-01 | Paper |
scientific article; zbMATH DE number 3532922 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3571482 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3485195 (Why is no real title available?)
| 1974-01-01 | Paper |
A data structure formalization through generating function
Calcolo | 1974-01-01 | Paper |
scientific article; zbMATH DE number 3425121 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3468256 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3483552 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3532530 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3412158 (Why is no real title available?)
| 1973-01-01 | Paper |
Notes on ?A CUCH-machine: The automatic treatment of bound variables?
International Journal of Computer & Information Sciences | 1973-01-01 | Paper |
A CUCH-machine: The automatic treatment of bound variables
International Journal of Computer & Information Sciences | 1972-01-01 | Paper |
