102 citations · 226 across the 18 of their papers we have counts for
7 papers · 1 filter
A Logical Account of Subtyping for Session Types
Ross Horne, Luca Padovani
We study the notion of subtyping for session types in a logical setting, where session types are propositions of multiplicative/additive linear logic extended with least and greate…
On the Fair Termination of Client-Server Sessions
Luca Padovani
Client-server sessions are based on a variation of the traditional interpretation of linear logic propositions as session types in which non-linear channels (those regulating the i…
An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear -Calculus
Luca Ciccone, Luca Padovani
Fair termination is the property of programs that may diverge "in principle" but that terminate "in practice", i.e. under suitable fairness assumptions concerning the resolution of…
Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types
Luca Ciccone, Luca Padovani
Many properties of communication protocols combine safety and liveness aspects. Characterizing such combined properties by means of a single inference system is difficult because o…
Probabilistic Analysis of Binary Sessions
Omar Inverso, Hernán Melgratti, Luca Padovani +2
We study a probabilistic variant of binary session types that relate to a class of Finite-State Markov Chains. The probability annotations in session types enable the reasoning on…
On Sessions and Infinite Data
Paula Severi, Luca Padovani, Emilio Tuosto +1
We define a novel calculus that combines a call-by-name functional core with session-based communication primitives. We develop a typing discipline that guarantees both normalisati…