Sciweavers

CORR
2010
Springer

Session Types = Intersection Types + Union Types

13 years 9 months ago
Session Types = Intersection Types + Union Types
Luca Padovani
Added 10 Feb 2011
Updated 10 Feb 2011
Type Journal
Year 2010
Where CORR
Authors Luca Padovani
Comments (0)