Antonio Bucciarelli Adolfo Piperno Ivano Salvo Intersection Types and lambda-Definability. 15-53 2003 13 Mathematical Structures in Computer Science 1 db/journals/mscs/mscs13.html#BucciarelliPS03