3 citations · 7 across the 6 of their papers we have counts for
1 paper · 2 filters
Elaine Pimentel, Betti Venneri, Joe Wells
This volume contains the proceedings of the Fifth International Workshop on Intersection Types and Related Systems (ITRS 2010). The workshop was held in Edinburgh, Scotland, on Jul…