From Algol to Polymorphic Linear Lambda-calculus (1997)

by Peter W. O'Hearn, John C. Reynolds