Completeness for Algebraic Theories of Local State


Every algebraic theory gives rise to a monad, and monads allow a meta-language which is a basic programming language with sideeffects. Equations in the algebraic theory give rise to equations between programs in the meta-language. An interesting question is this: to what extent can we put equational reasoning for programs into the algebraic theory for the… (More)
DOI: 10.1007/978-3-642-12032-9_5


Cite this paper

@inproceedings{Staton2010CompletenessFA, title={Completeness for Algebraic Theories of Local State}, author={Sam Staton}, booktitle={FOSSACS}, year={2010} }