Intersection Types for λ-Trees

by Steffen Van Bakel , Franco Barbanera , Mariangiola Dezani-ciancaglini