{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T13:54:25Z","timestamp":1710251665585},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2006,9,1]],"date-time":"2006-09-01T00:00:00Z","timestamp":1157068800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Higher-Order Symb Comput"],"published-print":{"date-parts":[[2006,9]]},"DOI":"10.1007\/s10990-006-8749-3","type":"journal-article","created":{"date-parts":[[2006,8,14]],"date-time":"2006-08-14T10:50:17Z","timestamp":1155552617000},"page":"283-304","source":"Crossref","is-referenced-by-count":37,"title":["About permutation algebras, (pre)sheaves and named sets"],"prefix":"10.1007","volume":"19","author":[{"given":"Fabio","family":"Gadducci","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marino","family":"Miculan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ugo","family":"Montanari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8749_CR1","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1017\/S0956796806005892","volume":"16","author":"A. Bucalo","year":"2006","unstructured":"Bucalo, A., Hofmann, M., Honsell, F., Miculan, M., Scagnetto, I.: Consistency of the Theory of Contexts. J. Funct. Progr. 16, 327\u2013395 (2006)","journal-title":"J. Funct. Progr."},{"key":"8749_CR2","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/S0304-3975(01)00025-1","volume":"280","author":"A. Corradini","year":"2002","unstructured":"Corradini, A., Heckel, R., Montanari, U.: Compositional SOS and Beyond: A Coalgebraic View of Open Systems. Theor. Comp. Sci. 280, 163\u2013192 (2002)","journal-title":"Theor. Comp. Sci."},{"key":"8749_CR3","doi-asserted-by":"crossref","unstructured":"Ferrari, G., Montanari, U., Pistore, M.: Minimizing Transition Systems for Name Passing Calculi: A Co-Algebraic Formulation. In: Nielsen. M., Engberg, U. (eds.), Foundations of Software and Computer Science, vol. 2303, Lect. Notes in Comp. Sci., Springer, pp. 129\u2013143 (2002)","DOI":"10.1007\/3-540-45931-6_10"},{"key":"8749_CR4","unstructured":"Fiore, M.: Notes on combinatorial functors (draft). Unpublished manuscript available from the author\u2019s web page (2001)"},{"key":"8749_CR5","first-page":"43","volume-title":"A fully abstract model for the calculus","author":"M. Fiore","year":"1996","unstructured":"Fiore, M., Moggi, E., Sangiorgi, D.: A fully abstract model for the calculus. In: Clarke, E. (ed.), Logic in Computer Science, IEEE, pp. 43\u201354 (1996)"},{"key":"8749_CR6","doi-asserted-by":"crossref","unstructured":"Fiore, M., Staton, S.: Comparing Operational Models of Name-Passing Process Calculi. In: Ad\u00e1mek, J., Milius, S. (eds.), Coalgebraic Methods in Computer Science, vol. 106, Electr. Notes in Theor. Comp. Sci., Elsevier Science (2004)","DOI":"10.1016\/j.entcs.2004.02.025"},{"key":"8749_CR7","first-page":"93","volume-title":"Semantics of Name and Value Passing","author":"M. Fiore","year":"2001","unstructured":"Fiore, M., Turi, D.: Semantics of Name and Value Passing. In: Maierson, H. (ed.), Logic in Computer Science. IEEE, pp. 93\u2013104 (2001)"},{"key":"8749_CR8","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/s001650200016","volume":"13","author":"M.J. Gabbay","year":"2002","unstructured":"Gabbay, M.J., Pitts, A.M.: A New Approach to Abstract Syntax wit Variable Binding. Formal Aspects of Computing 13, 341\u2013363 (2002)","journal-title":"Formal Aspects of Computing"},{"key":"8749_CR9","doi-asserted-by":"crossref","unstructured":"Gadducci, F., Miculan, M., Montanari, U.: Some Characterization Results for Permutation Algebras. In: Honsell, F., Lenisa, M., Miculan, M. (eds.), Computational Metamodels, Workshop of the sc cometa Project, vol. 104, Electr. Notes in Theor. Comp. Sci., Elsevier Science (2004)","DOI":"10.1016\/j.entcs.2004.08.022"},{"key":"8749_CR10","first-page":"204","volume-title":"Logic in Computer Science","author":"M. Hofmann","year":"1999","unstructured":"Hofmann, M.: Semantical analysis of higher-order abstract syntax. In: Longo, G. (ed.), Logic in Computer Science, IEEE, pp. 204\u2013213 (1999) Computer Society Press."},{"key":"8749_CR11","doi-asserted-by":"crossref","unstructured":"Honsell, F., Miculan, M., Scagnetto, I.: An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS. In: Orejas, F., Spirakis, P., van Leeuwen, J. (eds.), Automata, Languages and Programming, vol. 2076, Lect. Notes in Comp. Sci., Springer, pp. 963\u2013978 (2001)","DOI":"10.1007\/3-540-48224-5_78"},{"key":"8749_CR12","unstructured":"Kelley, J.: General topology. Springer (1975)"},{"key":"8749_CR13","doi-asserted-by":"crossref","unstructured":"MacLane, S.: Categories for the Working Mathematician. Springer (1971)","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"8749_CR14","doi-asserted-by":"crossref","unstructured":"McLane, S., Moerdijk, I.: Sheaves in Geometry and Logic: A First Introduction to Topos Theory. Springer (1994)","DOI":"10.1007\/978-1-4612-0927-0"},{"key":"8749_CR15","doi-asserted-by":"crossref","unstructured":"Miculan, M., Yemane, K.: A Unifying Model of Variables and Names. In: Sassone, V. (ed.), Foundations of Software Science and Computational Structures, vol. 3441, Lect. Notes in Comp. Sci., Springer, pp. 170\u2013186 (2005)","DOI":"10.1007\/978-3-540-31982-5_11"},{"key":"8749_CR16","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E. Moggi","year":"1991","unstructured":"Moggi, E.: Notions of computation and monads. Information and Computation 93, 55\u201392 (1991)","journal-title":"Information and Computation"},{"key":"8749_CR17","doi-asserted-by":"crossref","unstructured":"Montanari, U., Pistore, M.: Structured Coalgebras and Minimal HD-automata for the calculus. Theor. Comp. Sci. 340, 539\u2013576.","DOI":"10.1016\/j.tcs.2005.03.014"},{"key":"8749_CR18","doi-asserted-by":"crossref","unstructured":"Montanari, U., Pistore, M.: Calculus, Structured Coalgebras, and Minimal HD-automata. In: Nielsen, M., Rovan, B. (eds.), Mathematical Foundations of Computer Science, vol. 1893, Lect. Notes in Comp. Sci., Springer, pp. 569\u2013578 (2000)","DOI":"10.1007\/3-540-44612-5_52"},{"key":"8749_CR19","first-page":"109","volume-title":"Parametricity and Local Variables","author":"P. O\u2019Hearn","year":"1997","unstructured":"O\u2019Hearn, P., Tennent, R.: Parametricity and Local Variables. In: O\u2019Hearn, P., Tennent, R. (eds.), Algol-like Languages, Birkhauser, pp. 109\u2013164 (1997)"},{"key":"8749_CR20","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/S0890-5401(03)00138-X","volume":"186","author":"A.M. Pitts","year":"2003","unstructured":"Pitts, A.M.: Nominal Logic, A First Order Theory of Names and Binding. Information and Computation 186, 165\u2013193 (2003)","journal-title":"Information and Computation"},{"key":"8749_CR21","doi-asserted-by":"crossref","unstructured":"Plotkin, G., Power, J.: Semantics for Algebraic Operations. In: Brookes, S., Mislove, M. (eds.), Mathematical Foundations of Programming Semantics, vol.45, Electr. Notes in Theor. Comp. Sci., Elsevier Science (2001)","DOI":"10.1016\/S1571-0661(04)80970-8"},{"key":"8749_CR22","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"J. Rutten","year":"2000","unstructured":"Rutten, J.: Universal coalgebra: A theory of systems. Theor. Comp. Sci. 249, 3\u201380 (2000)","journal-title":"Theor. Comp. Sci."},{"key":"8749_CR23","unstructured":"Stark, I.: Names and Higher-Order Function. Ph.D. thesis, University of Cambridge, Cambridge Computer Laboratory (1994)"},{"key":"8749_CR24","first-page":"36","volume-title":"Logic in Computer Science","author":"I. Stark","year":"1996","unstructured":"Stark, I.: A fully abstract domain model for the calculus. In: Clarke, E. (ed.), Logic in Computer Science. IEEE, pp. 36\u201342 (1996) Computer Society Press."}],"container-title":["Higher-Order and Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10990-006-8749-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10990-006-8749-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10990-006-8749-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T14:24:29Z","timestamp":1683555869000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10990-006-8749-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,9]]},"references-count":24,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2006,9]]}},"alternative-id":["8749"],"URL":"https:\/\/doi.org\/10.1007\/s10990-006-8749-3","relation":{},"ISSN":["1388-3690","1573-0557"],"issn-type":[{"value":"1388-3690","type":"print"},{"value":"1573-0557","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,9]]}}}