A Modular Approach to Denotational Semantics (1991)

by E Moggi
Venue:Category Theory and Computer Science, LNCS 530