Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names
Sam Staton
Book Title
Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics‚ MFPS 2009‚ Oxford‚ UK‚ April 3−7‚ 2009
Editor
Samson Abramsky and Michael W. Mislove and Catuscia Palamidessi
Pages
471–490
Publisher
Elsevier
Series
Electronic Notes in Theoretical Computer Science
Volume
249
Year
2009