Linear logic, monads and the lambda calculus (1996)

by N Benton, P Wadler
Venue:Proceedings 11th Annual IEEE Symposium on Logic in Computer Science