{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T11:50:19Z","timestamp":1783684219573,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540592006","type":"print"},{"value":"9783540492238","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59200-8_59","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:05:54Z","timestamp":1330275954000},"page":"225-240","source":"Crossref","is-referenced-by-count":13,"title":["Relating two categorical models of term rewriting"],"prefix":"10.1007","author":[{"given":"A.","family":"Corradini","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"F.","family":"Gadducci","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"U.","family":"Montanari","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"issue":"1","key":"18_CR1","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J.A. Goguen","year":"1977","unstructured":"J.A. Goguen, J.W. Tatcher, E.G. Wagner, J.R. Wright, Initial Algebra Semantics and Continuous Algebras, Journal of ACM 24 (1), 1977, pp. 68\u201395.","journal-title":"Journal of ACM"},{"key":"18_CR2","unstructured":"G. Boudol, Computational Semantics of Term Rewriting Systems, in Algebraic Methods in Semantics, eds. M. Nivat and J. Reynolds, Cambridge University Press, 1985."},{"key":"18_CR3","unstructured":"A. Corradini, F. Gadducci, CPO Models for Infinite Term Rewriting, draft."},{"key":"18_CR4","unstructured":"A. Corradini, Term Rewriting, in Parallel, draft."},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"N. Dershowitz, J.P. Jouannaud, Rewrite Systems, Handbook of Theoretical Computer Science B, ed. J. van Leeuwen, North Holland, 1990, pp. 243\u2013320.","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"18_CR6","unstructured":"B. Jacobs, Semantics of Weakening and Contraction, draft."},{"key":"18_CR7","unstructured":"G.M. Kelly, Basic Concepts of Enriched Category Theory, London Mathematical Society, LN Series 64, 1982."},{"key":"18_CR8","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/BFb0063101","volume":"420","author":"G.M. Kelly","year":"1974","unstructured":"G.M. Kelly, R.H. Street, Review of the Elements of 2-categories, Lecture Notes in Mathematics 420, 1974, pp. 75\u2013103.","journal-title":"Lecture Notes in Mathematics"},{"issue":"4","key":"18_CR9","doi-asserted-by":"crossref","first-page":"333","DOI":"10.3233\/FI-1994-2043","volume":"20","author":"C. Laneve","year":"1994","unstructured":"C. Laneve, Distributive Evaluations of \u03bb-calculus, Fundamenta Informaticae 20 (4), 1994, pp. 333\u2013352.","journal-title":"Fundamenta Informaticae"},{"key":"18_CR10","doi-asserted-by":"crossref","first-page":"869","DOI":"10.1073\/pnas.50.5.869","volume":"50","author":"F. W. Lawvere","year":"1963","unstructured":"F. W. Lawvere, Functorial Semantics of Algebraic Theories, Proc. National Academy of Science 50, 1963, pp. 869\u2013872.","journal-title":"Proc. National Academy of Science"},{"key":"18_CR11","unstructured":"J. J. L\u00e9vy, Optimal Reductions in the \u03bb-calculus, in To H.B. Curry, Essays in Combinatory Logic, Lambda Calculus and Formalism, eds. J.P. Seldin and J.R. Hindley, Academic Press, 1980, pp. 159\u2013191."},{"key":"18_CR12","first-page":"350","volume":"632","author":"C. Laneve","year":"1992","unstructured":"C. Laneve, U. Montanari, Axiomatizing Permutation Equivalence in the \u03bb-calculus, in Proc. 3 rd ALP, LNCS 632, 1992, pp. 350\u2013363.","journal-title":"Proc. 3rd ALP, LNCS"},{"key":"18_CR13","first-page":"509","volume":"854","author":"P. Lincoln","year":"1994","unstructured":"P. Lincoln, J. Meseguer, L. Ricciulli, The Rewrite Rule Machine Node Architecture and its Performance, in Proc. CONPAR'94, LNCS 854, 1994, pp. 509\u2013520.","journal-title":"Proc. CONPAR'94, LNCS"},{"key":"18_CR14","unstructured":"J. Meseguer, Functorial Semantics of Rewrite Systems, appendix of Rewriting as a Unified Model of Concurrency, SRI Technical Report, CSL-93-02R, 1990."},{"key":"18_CR15","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"J. Meseguer, Conditional Rewriting Logic as a Unified Model of Concurrency, in Selected Papers of 2 th Workshop on Concurrency and Compositionality, Theoretical Computer Science 96, 1992, pp. 73\u2013155.","journal-title":"Theoretical Computer Science"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"S. MacLane, Categories for the Working Mathematician, Springer, 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"18_CR17","unstructured":"N. Mart\u00ed-Oliet, J. Meseguer, Rewriting Logic as a Logical and Semantic Framework, SRI Technical Report, CSL-93-05, 1993."},{"key":"18_CR18","first-page":"300","volume":"389","author":"A. J. Power","year":"1989","unstructured":"A. J. Power, An Abstract Formulation for Rewrite Systems, in Proc. CTCS'89, LNCS 389, 1989, pp. 300\u2013312.","journal-title":"Proc. CTCS'89, LNCS"},{"key":"18_CR19","first-page":"114","volume":"283","author":"D.E. Rydeheard","year":"1987","unstructured":"D.E. Rydeheard, J.G. Stell, Foundations of Equational Deduction, in Proc. CTCS'87, LNCS 283, 1987, pp. 114\u2013339.","journal-title":"Proc. CTCS'87, LNCS"},{"key":"18_CR20","unstructured":"J. G. Stell, Categorical Aspects of Unification and Rewriting, Ph.D. Thesis, Faculty of Science, University of Manchester, 1992."},{"key":"18_CR21","unstructured":"J. G. Stell, Modelling Term Rewriting System by Sesqui-categories, Technical Report TR94-02, Keele University, 1994."},{"key":"18_CR22","unstructured":"R.H. Street, Categorical Structures, in Handbook of Algebra, eds. M. Hazewinkel et al., Elsevier, preprint 1992."},{"key":"18_CR23","first-page":"285","volume":"354","author":"G. Winskel","year":"1989","unstructured":"G. Winskel, An Introduction to Event Structures, Lecture Notes for the REX Summer School, LNCS 354, 1989, pp. 285\u2013363.","journal-title":"Lecture Notes for the REX Summer School, LNCS"}],"container-title":["Lecture Notes in Computer Science","Rewriting Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59200-8_59.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:24:56Z","timestamp":1619573096000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59200-8_59"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540592006","9783540492238"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-59200-8_59","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}