Modularity in Denotational Semantics
โ
John Power
๐
Article
๐
1997
๐
Elsevier Science
๐
English
โ 758 KB
We consider a modular approach to denotational semantics. We reformulate and extend the idea of monads as notions of computation to algebraic structure together with a construction of an extended semantic category. We show that upon making that reformulation, one can obtain some account of modularit