Intersection Type Assignment Systems (1995)

by S van Bakel
Venue:Theoretical Computer Science