Denotational Semantics (1990)

by P D Mosses
Venue:In Handbook of Theoretical Computer Science