48 citations · 321 across the 68 of their papers we have counts for
4 papers · 1 filter
Soft Session Types
Ugo Dal Lago, Paolo Di Giamberardino
We show how systems of session types can enforce interactions to be bounded for all typable processes. The type system we propose is based on Lafont's soft linear logic and is stro…
Soft Session Types (Long Version)
Ugo Dal Lago, Paolo Di Giamberardino
We show how systems of sessions types can enforce interactions to be bounded for all typable processes. The type system we propose is based on Lafont's soft linear logic and is str…
Probabilistic Operational Semantics for the Lambda Calculus
Ugo Dal Lago, Margherita Zorzi
Probabilistic operational semantics for a nondeterministic extension of pure lambda calculus is studied. In this semantics, a term evaluates to a (finite or infinite) distribution…
Linear Dependent Types and Relative Completeness
Ugo Dal Lago, Marco Gaboardi
A system of linear dependent types for the lambda calculus with full higher-order recursion, called dlPCF, is introduced and proved sound and relatively complete. Completeness hold…