Linear Logic, Monads and the Lambda Calculus (1996)

by Nick Benton , Philip Wadler
Venue:In 11 th LICS
Citations:32 - 4 self