Polymorphic intersection type assignment for rewrite systems with abstractions and beta-rule (1999)

by S van Bakel, F Barbanera, M Fernández
Venue:In TYPES, volume 1956 of LNCS