Linear logic, monads and the lambda calculus | IEEE Conference Publication | IEEE Xplore