EPTCS 45 - ITRS@LICS 2010
- Elaine Pimentel, Betti Venneri, Joe B. Wells:
Proceedings Fifth Workshop on Intersection Types and Related Systems, ITRS 2010, Edinburgh, U.K., 9th July 2010. EPTCS 45, 2010 - Simona Ronchi Della Rocca, Alexis Saurin, Yiorgos Stavrinos, Anastasia Veneti:
Intersection Logic in sequent calculus style. 16-30 - Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca:
Intersection types for unbind and rebind. 45-58