51 citations · 191 across the 20 of their papers we have counts for
1 paper · 2 filters
Simon J. Gay, Peter Thiemann, Vasco T. Vasconcelos
Duality is a central concept in the theory of session types. Since a flaw was found in the original definition of duality for recursive types, several other definitions have been p…