Modularity in denotational semantics (1997)

by A J Power
Venue:in Electronic Notes in Theoretical Computer Science