Infinitary lambda calculus and discrimination of Berarducci trees - Dezani-Ciancaglini, Mariangiola; Severi, Paula; de Vries, Fer-Jan (Theoretical Computer Science, 2003)