There’s no substitute for linear logic (1992)

by P Wadler
Venue:Presented at Workshop on Mathematical Foundations of Programming Language Semantics