Linear Logic, Monads and the Lambda Calculus.

P. N. Benton, Philip Wadler

Browse the full LICS paper archive.