{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,14]],"date-time":"2026-04-14T22:26:04Z","timestamp":1776205564276,"version":"3.50.1"},"reference-count":32,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2009,8,1]],"date-time":"2009-08-01T00:00:00Z","timestamp":1249084800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2009,8,1]],"date-time":"2009-08-01T00:00:00Z","timestamp":1249084800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":1458,"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2009,8]]},"DOI":"10.1016\/j.entcs.2009.07.103","type":"journal-article","created":{"date-parts":[[2009,8,16]],"date-time":"2009-08-16T04:24:48Z","timestamp":1250396688000},"page":"471-490","update-policy":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":11,"special_numbering":"C","title":["Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names"],"prefix":"10.1016","volume":"249","author":[{"given":"Sam","family":"Staton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/j.entcs.2009.07.103_bib001","unstructured":"R.A. Clouston. Nominal Lawvere theories. Unpublished manuscript, 2009"},{"key":"10.1016\/j.entcs.2009.07.103_bib002","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/j.entcs.2007.02.009","article-title":"Nominal equational logic","volume":"172","author":"Clouston","year":"2007","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"10.1016\/j.entcs.2009.07.103_bib003","unstructured":"B. Day. Construction of Biclosed Categories. PhD thesis, University of New South Wales, 1970"},{"key":"10.1016\/j.entcs.2009.07.103_bib004","series-title":"Reports of the Midwest Category Seminar, IV","first-page":"1","article-title":"On closed categories of functors","volume":"volume 137","author":"Day","year":"1970"},{"key":"10.1016\/j.entcs.2009.07.103_bib005","series-title":"Proc. of ICALP'07","first-page":"607","article-title":"Equational systems and free constructions","volume":"volume 4596","author":"Fiore","year":"2007"},{"key":"10.1016\/j.entcs.2009.07.103_bib006","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/j.entcs.2008.10.011","article-title":"Term equational systems and logics","volume":"218","author":"Fiore","year":"2008","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"1","key":"10.1016\/j.entcs.2009.07.103_bib007","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1006\/inco.2002.2968","article-title":"A fully abstract model for the \u03c0-calculus","volume":"179","author":"Fiore","year":"2002","journal-title":"Inform. and Comput."},{"key":"10.1016\/j.entcs.2009.07.103_bib008","series-title":"Proc. of WoLLIC'07","first-page":"162","article-title":"A formal calculus for informal equality with binding","volume":"volume 4576","author":"Gabbay","year":"2007"},{"key":"10.1016\/j.entcs.2009.07.103_bib009","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/s001650200016","article-title":"A new approach to abstract syntax with variable binding","volume":"13","author":"Gabbay","year":"2001","journal-title":"Formal Aspects of Computing"},{"key":"10.1016\/j.entcs.2009.07.103_bib010","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/j.entcs.2004.02.027","article-title":"Relationally staged computations in calculi of mobile processes","volume":"106","author":"Ghani","year":"2004","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"10.1016\/j.entcs.2009.07.103_bib011","doi-asserted-by":"crossref","unstructured":"C. Hermida and R.D. Tennent. Monoidal indeterminates and categories of possible worlds. In Proc. of MFPS XXV, 2009","DOI":"10.1016\/j.entcs.2009.07.083"},{"key":"10.1016\/j.entcs.2009.07.103_bib012","article-title":"Basic concepts of enriched category theory","volume":"volume 64","author":"Kelly","year":"1982"},{"issue":"1","key":"10.1016\/j.entcs.2009.07.103_bib013","first-page":"3","article-title":"Structures defined by finite limits in the enriched context, I","volume":"23","author":"Kelly","year":"1982","journal-title":"Cah. Topol. G\u00e9om. Diff\u00e9r. Cat\u00e9g."},{"issue":"1\u20132","key":"10.1016\/j.entcs.2009.07.103_bib014","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/0022-4049(93)90092-8","article-title":"Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads","volume":"89","author":"Kelly","year":"1993","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/j.entcs.2009.07.103_bib015","doi-asserted-by":"crossref","unstructured":"M. Miculan and K. Yemane. A unifying model of variables and names. In Proc. of FoSSaCS'05, pages 170\u2013186, 2005","DOI":"10.1007\/978-3-540-31982-5_11"},{"issue":"1","key":"10.1016\/j.entcs.2009.07.103_bib016","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0890-5401(92)90009-5","article-title":"A calculus of mobile processes, II","volume":"100","author":"Milner","year":"1992","journal-title":"Inform. and Comput."},{"issue":"1","key":"10.1016\/j.entcs.2009.07.103_bib017","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","article-title":"Notions of computation and monads","volume":"93","author":"Moggi","year":"1991","journal-title":"Inform. and Comput."},{"issue":"4","key":"10.1016\/j.entcs.2009.07.103_bib018","doi-asserted-by":"crossref","first-page":"747","DOI":"10.1017\/S0956796802004495","article-title":"On bunched typing","volume":"13","author":"O'Hearn","year":"2003","journal-title":"J. Funct. Programming"},{"issue":"1\u20132","key":"10.1016\/j.entcs.2009.07.103_bib019","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/S0304-3975(98)00359-4","article-title":"Syntactic control of interference revisited","volume":"228","author":"O'Hearn","year":"1999","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/j.entcs.2009.07.103_bib020","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/j.entcs.2004.08.008","article-title":"Computational effects and operations: An overview","volume":"73","author":"Plotkin","year":"2004","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"10.1016\/j.entcs.2009.07.103_bib021","series-title":"Proc. of FoSSaCS'02","first-page":"342","article-title":"Notions of computation determine monads","volume":"volume 2303","author":"Plotkin","year":"2002"},{"issue":"7","key":"10.1016\/j.entcs.2009.07.103_bib022","first-page":"83","article-title":"Enriched Lawvere theories","volume":"6","author":"Power","year":"1999","journal-title":"Theory Appl. of Categ."},{"key":"10.1016\/j.entcs.2009.07.103_bib023","doi-asserted-by":"crossref","unstructured":"J. Power. Semantics for computational effects: from global to local. Draft, 2006","DOI":"10.1016\/j.entcs.2006.04.018"},{"key":"10.1016\/j.entcs.2009.07.103_bib024","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1016\/j.entcs.2006.04.018","article-title":"Semantics for local computational effects","volume":"158","author":"Power","year":"2006","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"10.1016\/j.entcs.2009.07.103_bib025","article-title":"The Semantics and Proof Theory of the Logic of Bunched Implications","volume":"volume 26","author":"Pym","year":"2002"},{"issue":"3\u20135","key":"10.1016\/j.entcs.2009.07.103_bib026","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1007\/s001650200014","article-title":"Variations on algebra: Monadicity and generalisations of equational theories","volume":"13","author":"Robinson","year":"2002","journal-title":"Formal Aspects of Computing"},{"issue":"1","key":"10.1016\/j.entcs.2009.07.103_bib027","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/s002360050036","article-title":"A theory of bisimulation for the pi-calculus","volume":"33","author":"Sangiorgi","year":"1996","journal-title":"Acta Inform."},{"key":"10.1016\/j.entcs.2009.07.103_bib028","doi-asserted-by":"crossref","unstructured":"I. Stark. A fully abstract domain model for the \u03c0-calculus. In Proc. of LICS'96, pages 36\u201342, 1996","DOI":"10.1109\/LICS.1996.561301"},{"issue":"2\u20133","key":"10.1016\/j.entcs.2009.07.103_bib029","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1016\/j.tcs.2007.09.024","article-title":"Free-algebra models for the \u03c0-calculus","volume":"390","author":"Stark","year":"2008","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/j.entcs.2009.07.103_bib030","unstructured":"S. Staton. Name-Passing Process Calculi: Operational Models and Structural Operational Semantics. PhD thesis, Cambridge, 2007. Technical Report UCAM-CL-TR-688"},{"key":"10.1016\/j.entcs.2009.07.103_bib031","doi-asserted-by":"crossref","unstructured":"S. Staton. General structural operational semantics through categorical logic. In Proc. of LICS'08, pages 166\u2013177, 2008","DOI":"10.1109\/LICS.2008.43"},{"key":"10.1016\/j.entcs.2009.07.103_bib032","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1016\/j.entcs.2005.09.032","article-title":"A congruence format for name-passing calculi","volume":"156","author":"Ziegler","year":"2006","journal-title":"Electron. Notes Theor. Comput. Sci."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:S1571066109003259?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:S1571066109003259?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:11:23Z","timestamp":1761610283000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066109003259"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8]]},"references-count":32,"alternative-id":["S1571066109003259"],"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1016\/j.entcs.2009.07.103","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2009,8]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1016\/j.entcs.2009.07.103","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2009 Elsevier B.V.","name":"copyright","label":"Copyright"}]}}