Composable partial multiparty session types for open systems

Autor: Claude Stolze, Marino Miculan, Pietro Di Gianantonio

Session types are a well-established framework for the specification of interactions between components of a distributed systems. An important issue is how to determine the type for an open system, i.e., obtained by assembling subcomponents, some of

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::91283ae351221af683214fab75b02bff
https://hdl.handle.net/11390/1233165

A Decidable Subtyping Logic for Intersection and Union Types

Autor: Luigi Liquori, Claude Stolze

Publikováno v: Lecture Notes in Computer Science
TTCS 2017-2nd International Conference on Topics in Theoretical Computer Science
TTCS 2017-2nd International Conference on Topics in Theoretical Computer Science, Sep 2017, Tehran, Iran. pp.74-90, ⟨10.1007/978-3-319-68953-1_7⟩
Topics in Theoretical Computer Science ISBN: 9783319689524
TTCS

Part 3: Logic, Semantics, and Programming Theory; International audience; Using Curry-Howard isomorphism, we extend the typed lambda-calculus with intersection and union types, and its corresponding proof-functional logic, previously defined by the a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b9c9785312db63ec59fc9d121baad063
https://hal.inria.fr/hal-01760641/document

A Realizability Interpretation for Intersection and Union Types

Autor: Claude Stolze, Daniel J. Dougherty, Ugo de'Liguoro, Luigi Liquori

Publikováno v: Programming Languages and Systems ISBN: 9783319479576
APLAS
14th Asian Symposium on Programming Languages and Systems
14th Asian Symposium on Programming Languages and Systems, Nov 2016, Hanoi, Vietnam

International audience; Proof-functional logical connectives allow reasoning about the structure of logical proofs, in this way giving to the latter the status of first-class objects. This is in contrast to classical truth-functional con- nectives wh

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::29065b641c38462bb18b445961a206f1
https://doi.org/10.1007/978-3-319-47958-3_11

A THEORY OF FORMAL CHOREOGRAPHIC LANGUAGES.

Autor: BARBANERA, FRANCO, LANESE, IVAN, TUOSTO, EMILIO

Publikováno v: Logical Methods in Computer Science (LMCS); 2023, Vol. 19 Issue 3, p1-36, 36p

Towards a Logical Framework with Intersection and Union Types.

Autor: Stolze, Claude, Liquori, Luigi, Honsell, Furio, Scagnetto, Ivan

Publikováno v: ACM International Conference Proceeding Series; 9/8/2017, p1-9, 9p