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