From Algol to polymorphic linear lambda-calculus (0)

by P O’Hearn, J C Reynolds
Venue:Journal of the ACM