Logical aspects of denotational semantics (1987)

by E Robinson
Venue:LNCS