19 citations · 23 across the 5 of their papers we have counts for
1 paper · 1 filter
Stéphane Graham-Lengrand, Luca Paolini
This volume contains the proceedings of the Sixth Workshop on Intersection Types and Related Systems (ITRS 2012). The workshop was held in Dubrovnik (Croatia) on June 29th, 2012, a…