A Modular Approach to Denotational Semantics (1998)

by A J Power, G Rosolini
Venue:in Proc. ICALP 98 LNCS 1443