A taste of linear logic (1993)

by P Wadler
Venue:Mathematical Foundations of Computer Science