Intersection Types, λ-models, and Böhm Trees

by Mariangiola Dezani-Ciancaglini , Elio Giovannetti , Ugo de'Liguoro