Infinite lambda-calculus and types (1999)

by A Berarducci, M Dezani-Ciancaglini
Venue:Theor. Comp. Sci