A characterization of lambda de in categorical models of implicit polymorphism (1995)

by M Alimohamed
Venue:Theoretical Computer Science