A Modular Approach to Denotational Semantics. Category Theory and (1991)

by E Moggi
Venue:Computer Science -Lecture Notes in Computer Science