Notions of computations and monads, Inform. and Computation 93, 55–92 (1991)

by E Moggi
Venue:46 83] Martin-Löf P. (1983), Notes on the domain theoretic interpretation of type theory, in “Proceedings, Workshop on Semantics of Programming Languages”, Chalmers Univ