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

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