{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T20:12:07Z","timestamp":1774987927337,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642120312","type":"print"},{"value":"9783642120329","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12032-9_5","type":"book-chapter","created":{"date-parts":[[2010,3,8]],"date-time":"2010-03-08T01:07:56Z","timestamp":1268010476000},"page":"48-63","source":"Crossref","is-referenced-by-count":14,"title":["Completeness for Algebraic Theories of Local State"],"prefix":"10.1007","author":[{"given":"Sam","family":"Staton","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Ghica, D.R., Murawski, A.S., Ong, C.-H.L., Stark, I.D.B.: Nominal games and full abstraction for the nu-calculus. In: LICS 2004 (2004)","DOI":"10.1109\/LICS.2004.1319609"},{"key":"5_CR2","volume-title":"Toposes, Triples and Theories","author":"M. Barr","year":"1984","unstructured":"Barr, M., Wells, C.: Toposes, Triples and Theories. Springer, Heidelberg (1984)"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1007\/11417170_8","volume-title":"Typed Lambda Calculi and Applications","author":"N. Benton","year":"2005","unstructured":"Benton, N., Leperchey, B.: Relational reasoning in a nominal semantics for storage. In: Urzyczyn, P. (ed.) TLCA 2005. LNCS, vol.\u00a03461, pp. 86\u2013101. Springer, Heidelberg (2005)"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"456","DOI":"10.1007\/978-3-642-00596-1_32","volume-title":"Foundations of Software Science and Computational Structures","author":"L. Birkedal","year":"2009","unstructured":"Birkedal, L., St\u00f8, K.: Realizability semantics of parametric polymorphism, references, and recursive types. In: de Alfaro, L. (ed.) FOSSACS 2009. LNCS, vol.\u00a05504, pp. 456\u2013470. Springer, Heidelberg (2009)"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Clouston, R.A., Pitts, A.M.: Nominal equational logic. In: Articles dedicated to Gordon Plotkin. ENTCS, vol.\u00a0172, pp. 223\u2013257 (2007)","DOI":"10.1016\/j.entcs.2007.02.009"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Fiore, M.P., Hur, C.-K.: Term equational systems and logics. In: Proc. of MFPS XXIV. Electron. Notes Theor. Comput. Sci, vol.\u00a0218, pp. 171\u2013192 (2008)","DOI":"10.1016\/j.entcs.2008.10.011"},{"issue":"4","key":"5_CR7","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1016\/j.ic.2005.08.004","volume":"204","author":"M.P. Fiore","year":"2006","unstructured":"Fiore, M.P., Staton, S.: Comparing operational models of name-passing process calculi. Inform. and Comput.\u00a0204(4), 435\u2013678 (2006)","journal-title":"Inform. and Comput."},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-540-73445-1_12","volume-title":"Logic, Language, Information and Computation","author":"M. Gabbay","year":"2007","unstructured":"Gabbay, M., Mathijssen, A.: A formal calculus for informal equality with binding. In: Leivant, D., de Queiroz, R. (eds.) WoLLIC 2007. LNCS, vol.\u00a04576, pp. 162\u2013176. Springer, Heidelberg (2007)"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/s001650200016","volume":"13","author":"M.J. Gabbay","year":"2001","unstructured":"Gabbay, M.J., Pitts, A.M.: A new approach to abstract syntax with variable binding. Formal Aspects of Computing\u00a013, 341\u2013363 (2001)","journal-title":"Formal Aspects of Computing"},{"issue":"2-3","key":"5_CR10","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/s10990-006-8749-3","volume":"19","author":"F. Gadducci","year":"2006","unstructured":"Gadducci, F., Miculan, M., Montanari, U.: About permutation algebras (pre)sheaves and named sets. Higher-Order Symb. Comput.\u00a019(2-3), 283\u2013304 (2006)","journal-title":"Higher-Order Symb. Comput."},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.tcs.2006.03.013","volume":"357","author":"M. Hyland","year":"2006","unstructured":"Hyland, M., Plotkin, G.D., Power, J.: Combining effects: Sum and tensor. Theoret. Comput. Sci.\u00a0357, 70\u201399 (2006)","journal-title":"Theoret. Comput. Sci."},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Jeffrey, A., Rathke, J.: Towards a theory of bisimulation for local names. In: Proc. of LICS 1999, pp. 56\u201366 (1999)","DOI":"10.1109\/LICS.1999.782586"},{"issue":"1-2","key":"5_CR13","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/0022-4049(93)90092-8","volume":"89","author":"G.M. Kelly","year":"1993","unstructured":"Kelly, G.M., Power, A.J.: Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads. J. Pure Appl. Algebra\u00a089(1-2), 163\u2013179 (1993)","journal-title":"J. Pure Appl. Algebra"},{"issue":"2-3","key":"5_CR14","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/j.apal.2007.10.006","volume":"151","author":"J. Laird","year":"2008","unstructured":"Laird, J.: A game semantics of names and pointers. Ann. Pure Appl. Logic\u00a0151(2-3), 151\u2013169 (2008)","journal-title":"Ann. Pure Appl. Logic"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"M\u00f8gelberg, R.E.: A nominal relational model for local variables. Draft (2009)","DOI":"10.1016\/j.entcs.2010.08.024"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Moggi, E.: Notions of computation and monads. Inform. and Comput.\u00a093(1), 55\u201392","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-642-00596-1_4","volume-title":"Foundations of Software Science and Computational Structures","author":"A.S. Murawski","year":"2009","unstructured":"Murawski, A.S., Tzevelekos, N.: Full abstraction for Reduced ML. In: de Alfaro, L. (ed.) FOSSACS 2009. LNCS, vol.\u00a05504, pp. 32\u201347. Springer, Heidelberg (2009)"},{"issue":"3","key":"5_CR18","first-page":"658","volume":"42","author":"P.W. O\u2019Hearn","year":"1995","unstructured":"O\u2019Hearn, P.W., Tennant, R.D.: Parametricity and local variables. J.\u00a0ACM\u00a042(3), 658\u2013709 (1995)","journal-title":"J.\u00a0ACM"},{"key":"5_CR19","series-title":"Lecture Notes in Computer Science","volume-title":"Mathematical Foundations of Computer Science 1993","author":"A. Pitts","year":"1993","unstructured":"Pitts, A., Stark, I.: Observable properties of higher order functions that dynamically create local names, or: What\u2019s new? In: Borzyszkowski, A.M., Sokolowski, S. (eds.) MFCS 1993. LNCS, vol.\u00a0711. Springer, Heidelberg (1993)"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/3-540-45931-6_24","volume-title":"Foundations of Software Science and Computation Structures","author":"G.D. Plotkin","year":"2002","unstructured":"Plotkin, G.D., Power, J.: Notions of computation determine monads. In: Nielsen, M., Engberg, U. (eds.) FOSSACS 2002. LNCS, vol.\u00a02303, pp. 342\u2013356. Springer, Heidelberg (2002), http:\/\/homepages.inf.ed.ac.uk\/gdp\/publications\/"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Power, J.: Semantics for local computational effects. In: Proc. of MFPS XXII (2006)","DOI":"10.1016\/j.entcs.2006.04.018"},{"issue":"1","key":"5_CR22","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BF01806033","volume":"9","author":"I. Stark","year":"1996","unstructured":"Stark, I.: Categorical models for local names. LISP and Symbolic Computation\u00a09(1), 77\u2013107 (1996)","journal-title":"LISP and Symbolic Computation"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Staton, S.: Two cotensors in one: Presentations of algebraic theories for local state and fresh names. In: Proc. of MFPS XXV (2009)","DOI":"10.1016\/j.entcs.2009.07.103"},{"key":"5_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1007\/978-3-642-04027-6_33","volume-title":"Computer Science Logic","author":"E. Sumii","year":"2009","unstructured":"Sumii, E.: A complete characterization of observational equivalence in polymorphic \u03bb-calculus with general references. In: Gr\u00e4del, E., Kahle, R. (eds.) CSL 2009. LNCS, vol.\u00a05771, pp. 455\u2013469. Springer, Heidelberg (2009)"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Tzevelekos, N.: Full abstraction for nominal general references. Logical Methods in Computer Science\u00a05(3) (2009)","DOI":"10.2168\/LMCS-5(3:8)2009"},{"key":"5_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"575","DOI":"10.1007\/978-3-540-45220-1_48","volume-title":"Computer Science Logic","author":"Y. Zhang","year":"2003","unstructured":"Zhang, Y., Nowak, D.: Logical relations for dynamic name creation. In: Baaz, M., Makowsky, J.A. (eds.) CSL 2003. LNCS, vol.\u00a02803, pp. 575\u2013588. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computational Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12032-9_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,30]],"date-time":"2023-05-30T19:56:48Z","timestamp":1685476608000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12032-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642120312","9783642120329"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12032-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}