A taste of linear logic (1993)

by P Wadler
Venue:In Mathematical Foundations of Computer Science