@Inproceedings{EPTCS45.2, author = {Ronchi Della Rocca, Simona and Saurin, Alexis and Stavrinos, Yiorgos and Veneti, Anastasia}, year = {2011}, title = {Intersection Logic in sequent calculus style}, editor = {Pimentel, Elaine and Venneri, Betti and Wells, Joe}, booktitle = {{\rm Proceedings Fifth Workshop on} Intersection Types and Related Systems, {\rm Edinburgh, U.K., 9th July 2010}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {45}, publisher = {Open Publishing Association}, pages = {16-30}, doi = {10.4204/EPTCS.45.2}, }