Semantics for Computational Eects: from Global to Local
John Power · 2009
We give a general construct that extends denotational semantics for a global computational eect to yield denotational semantics for a corresponding local computational eect. Our leading example yields a construction of the usual denotational semantics for local state from that for global state. Given any Lawvere theory L, possibly countable and possibly enriched, modelling a specic computational eect, we rst give a universal construction that extends L, hence the global operations