Rank 2 Intersection Type Assignment in Term Rewriting Systems (1996)

by S van Bakel
Venue:Fundamenta Informaticae