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

by M Alimohamed
Venue:Theoretical Computer Science