Complete restrictions of the intersection type discipline (1992)

by Steffen Van Bakel
Venue:Theoretical Computer Science
Citations:104 - 41 self