Complete restrictions of the intersection type discipline (1992)

by Steffen Van Bakel
Venue:Theoretical Computer Science
Citations:103 - 40 self