Is there a use for linear logic (1991)

by P Wadler
Venue:In PEPM