Complete restrictions of the Intersection Type Discipline (1992)

by S van Bakel
Venue:Theoretical Computer Science