\begin{thebibliography}{1}

\providecommand{\natexlab}[1]{#1}
\providecommand{\url}[1]{\texttt{#1}}
\providecommand{\urlprefix}{URL }
\providecommand{\eprint}[2][]{\url{#2}}

\bibitem[{Bucciarelli et~al.}(2003){Bucciarelli, Piperno \& Salvo}]{Bucciarelli_etal2003} Antonio Bucciarelli, Adolfo Piperno, and Ivano Salvo. "Intersection types and $\lambda$-definability." \textit{Mathematical Structures in Computer Science} 13, no. 1 (2003): 15--53. Cambridge University Press. ISSN: 0960-1295. DOI: 10.1017/S0960129502003833.

\end{thebibliography}

