Completeness for Algebraic Theories of Local State (2010)

by Sam Staton
Venue:FoSSaCS 2010. LNCS