Projects per year
In seeking a unified study of computational effects, one must take account of the coalgebraic structure of state in order to give a general operational semantics agreeing with the standard one for state. Axiomatically, one needs a countable Lawvere theory L, a comodel C, typically the final one, and a model M, typically free; one then seeks a tensor C⊗M of the comodel with the model that allows operations to flow between the two. We describe such a tensor implicit in the abstract category theoretic literature, explain its significance for computational effects, and calculate it in leading classes of examples, primarily involving state.
|Number of pages||17|
|Journal||Electronic Notes in Theoretical Computer Science|
|Publication status||Published - 2008|
|Event||Twenty-fourth Conference on the Mathematical Foundations of Programming Semantics - , United States|
Duration: 22 May 2008 → …