There's no substitute for linear logic (projector slides (1992)

by P Wadler
Venue:Computer Science Department, Aarhus University