Joint paper with Fer-Jan de Vries
S. van Bakel, F. Barbanera, M. Dezani-Ciancaglini, F.J. de Vries.
Intersection Types for Lambda-Trees
. To appear in
Theoretical Computer Science
.
Paper
in gzip-ed postscript format.