Polymorphic Intersection Type Assignment for Rewrite Systems with Abstraction and β-rule (2000)

by S van Bakel, F Barbanera, M Fernández
Venue:Types for Proofs and Programs, International Workshop TYPES’99, volume 1956 of Lecture Notes in Computer Science