Complete restrictions of the intersection type discipline (1992)

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