Franco Barbanera Mariangiola Dezani-Ciancaglini Fer-Jan de Vries Types for trees. 11-29 1998 conf/procomet/1998 PROCOMET db/conf/procomet/procomet1998.html#BarbaneraDV98