A taste of linear logic (1993)

by Philip Wadler
Venue:In Mathematical Foundations of Computer Science