@Inproceedings{EPTCS45.1, author = {Compagnoni, Adriana and Goguen, Healfdene}, year = {2011}, title = {Relating Church-Style and Curry-Style Subtyping}, 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 = {1-15}, doi = {10.4204/EPTCS.45.1}, }