Completeness for Algebraic Theories of Local State.

Sam Staton

Browse the full FOSSACS paper archive.