102 citations · 226 across the 18 of their papers we have counts for
1 paper · 1 filter
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…