| Publication | Date of Publication | Type |
|---|
Partially typed multiparty sessions with internal delegation
Journal of Logical and Algebraic Methods in Programming | 2024-11-26 | Paper |
Partially Typed Multiparty Sessions
Electronic Proceedings in Theoretical Computer Science | 2024-03-19 | Paper |
On Composing Communicating Systems
Electronic Proceedings in Theoretical Computer Science | 2024-03-01 | Paper |
Composition of synchronous communicating systems
Journal of Logical and Algebraic Methods in Programming | 2023-09-25 | Paper |
A Theory of Formal Choreographic Languages
Logical Methods in Computer Science | 2023-08-26 | Paper |
Adding algebraic rewriting to the calculus of constructions : Strong normalization preserved
Conditional and Typed Rewriting Systems | 2023-03-09 | Paper |
Intersection and union types
Lecture Notes in Computer Science | 2022-08-16 | Paper |
| Characterisation of strongly normalising \(\lambda\mu\)-terms | 2021-06-10 | Paper |
Characterisation of strongly normalising \(\lambda\mu\)-terms
(available as arXiv preprint) | 2021-06-10 | Paper |
Composition and decomposition of multiparty sessions
Journal of Logical and Algebraic Methods in Programming | 2021-02-26 | Paper |
| scientific article; zbMATH DE number 7168313 (Why is no real title available?) | 2020-02-17 | Paper |
scientific article; zbMATH DE number 7168313 (Why is no real title available?)
(available as arXiv preprint) | 2020-02-17 | Paper |
| scientific article; zbMATH DE number 7167590 (Why is no real title available?) | 2020-02-14 | Paper |
scientific article; zbMATH DE number 7167590 (Why is no real title available?)
(available as arXiv preprint) | 2020-02-14 | Paper |
| scientific article; zbMATH DE number 7167773 (Why is no real title available?) | 2020-02-14 | Paper |
Connecting open systems of communicating finite state machines
Journal of Logical and Algebraic Methods in Programming | 2019-11-28 | Paper |
Modularity of termination and confluence in combinations of rewrite systems with \(\lambda_\omega\)
Automata, Languages and Programming | 2019-03-29 | Paper |
Session types and subtyping for orchestrated interactions
Journal of Logical and Algebraic Methods in Programming | 2018-12-19 | Paper |
Intersection types for the \(\lambda\mu\)-calculus
(available as arXiv preprint) | 2018-01-12 | Paper |
Retractability, games and orchestrators for session contracts
(available as arXiv preprint) | 2017-10-12 | Paper |
Orchestrated session compliance
Journal of Logical and Algebraic Methods in Programming | 2016-11-30 | Paper |
Reversible client/server interactions
Formal Aspects of Computing | 2016-09-20 | Paper |
Sub-behaviour relations for session-based client/server systems
Mathematical Structures in Computer Science | 2016-07-27 | Paper |
| Type assignement for mobile objects | 2013-09-11 | 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 |
A Filter Model for the λμ-Calculus
Lecture Notes in Computer Science | 2011-06-17 | Paper |
Typing asymmetric client-server interaction
Fundamentals of Software Engineering | 2010-01-28 | 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 |
Space-aware ambients and processes
Theoretical Computer Science | 2007-04-13 | 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 |
A full continuous model of polymorphism
Theoretical Computer Science | 2003-01-21 | Paper |
| scientific article; zbMATH DE number 1696608 (Why is no real title available?) | 2002-07-22 | Paper |
Intersection types for \(\lambda\)-trees
Theoretical Computer Science | 2002-03-03 | Paper |
| scientific article; zbMATH DE number 1479631 (Why is no real title available?) | 2000-07-20 | Paper |
Modularity of strong normalization in the algebraic-λ-cube
Journal of Functional Programming | 1999-03-16 | Paper |
| scientific article; zbMATH DE number 1088045 (Why is no real title available?) | 1998-04-15 | Paper |
The simply typed theory of \(\beta\)-conversion has no maximum extension
Information and Computation | 1998-04-02 | Paper |
A constructive valuation semantics for classical logic
Notre Dame Journal of Formal Logic | 1998-03-12 | Paper |
Toward a semantics for the QUEST language
RAIRO - Theoretical Informatics and Applications | 1997-10-30 | Paper |
Intersection type assignment systems with higher-order algebraic rewriting
Theoretical Computer Science | 1997-02-27 | Paper |
A symmetric lambda calculus for classical program extraction
Information and Computation | 1997-01-05 | Paper |
Proof-irrelevance out of excluded-middle and choice in the calculus of constructions
Journal of Functional Programming | 1996-12-16 | Paper |
A strong normalization result for classical logic
Annals of Pure and Applied Logic | 1996-03-05 | Paper |
Intersection and union types: Syntax and semantics
Information and Computation | 1995-08-02 | Paper |
Proof-functional connectives and realizability
Archive for Mathematical Logic | 1994-12-01 | Paper |
| scientific article; zbMATH DE number 512771 (Why is no real title available?) | 1994-03-10 | Paper |
| scientific article; zbMATH DE number 512772 (Why is no real title available?) | 1994-03-10 | Paper |
| scientific article; zbMATH DE number 176126 (Why is no real title available?) | 1993-05-18 | Paper |
COMBINING TERM REWRITING AND TYPE ASSIGNMENT SYSTEMS
International Journal of Foundations of Computer Science | 1990-01-01 | Paper |
