Antonio Bucciarelli, Adolfo Piperno, Ivano Salvo. Intersection Types and lambda-Definability. Mathematical Structures in Computer Science, 13(1):15-53, 2003.
@article{BucciarelliPS03,
title = {Intersection Types and lambda-Definability},
author = {Antonio Bucciarelli and Adolfo Piperno and Ivano Salvo},
year = {2003},
researchr = {https://researchr.org/publication/BucciarelliPS03},
cites = {0},
citedby = {0},
journal = {Mathematical Structures in Computer Science},
volume = {13},
number = {1},
pages = {15-53},
}