12 citations · 12 across the 1 of their papers we have counts for
1 paper
Simon J. Gay, Nils Gesbert, António Ravara
Behavioural type systems ensure more than the usual safety guarantees of static analysis. They are based on the idea of "types-as-processes", providing dedicated type algebras for…