Proceedings Fifth Workshop on Intersection Types and Related Systems

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…