Search

• < Previous
• 1
• Next >

---

Intersection Types for the lambda-mu Calculus

Steffen van Bakel ; Franco Barbanera ; Ugo de'Liguoro.

We introduce an intersection type system for the lambda-mu calculus that is invariant under subject reduction and expansion. The system is obtained by describing Streicher and Reus's denotational model of continuations in the category of omega-algebraic lattices via Abramsky's domain-logic approach.&nbsp;[&hellip;]

---

A Theory of Formal Choreographic Languages

Franco Barbanera ; Ivan Lanese ; Emilio Tuosto.

We introduce a meta-model based on formal languages, dubbed formal choreographic languages, to study message-passing systems. Our framework allows us to generalise standard constructions from the literature and to compare them. In particular, we consider notions such as global view, local view, and&nbsp;[&hellip;]

---

Retractability, games and orchestrators for session contracts

Franco Barbanera ; Ugo de'Liguoro.

Session contracts is a formalism enabling to investigate client/server interaction protocols and to interpret session types. We extend session contracts in order to represent outputs whose actual sending in an interaction depends on a third party or on a mutual agreement between the partners. Such&nbsp;[&hellip;]

---