{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:56:48Z","timestamp":1725562608120},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540221647"},{"type":"electronic","value":"9783540248491"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24849-1_10","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T20:34:24Z","timestamp":1281299664000},"page":"147-161","source":"Crossref","is-referenced-by-count":9,"title":["Rewriting Calculus with Fixpoints: Untyped and First-Order Systems"],"prefix":"10.1007","author":[{"given":"Horatiu","family":"Cirstea","sequence":"first","affiliation":[]},{"given":"Luigi","family":"Liquori","sequence":"additional","affiliation":[]},{"given":"Benjamin","family":"Wack","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8598-9","volume-title":"A Theory of Objects","author":"M. Abadi","year":"1996","unstructured":"Abadi, M., Cardelli, L.: A Theory of Objects. Springer, Heidelberg (1996)"},{"key":"10_CR2","volume-title":"Lambda Calculus: its Syntax and Semantics","author":"H. Barendregt","year":"1984","unstructured":"Barendregt, H.: Lambda Calculus: its Syntax and Semantics. North-Holland, Amsterdam (1984)"},{"key":"10_CR3","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1145\/604131.604152","volume-title":"Proc. of POPL","author":"G. Barthe","year":"2003","unstructured":"Barthe, G., Cirstea, H., Kirchner, C., Liquori, L.: Pure Patterns Type Systems. In: Proc. of POPL, pp. 250\u2013261. ACM Press, New York (2003)"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Bertolissi, C., Cirstea, H., Kirchner, C.: Translating Combinatory Reduction Systems into the Rewriting Calculus. In: Proc. of RULE. ENTCS (2003)","DOI":"10.1016\/S1571-0661(04)80674-1"},{"issue":"285","key":"10_CR5","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/S0304-3975(01)00358-9","volume":"2","author":"P. Borovansky","year":"2002","unstructured":"Borovansky, P., Kirchner, C., Kirchner, H., Moreau, P.-E.: ELAN from a rewriting logic point of view. Theoretical Computer Science\u00a02(285), 155\u2013185 (2002)","journal-title":"Theoretical Computer Science"},{"key":"10_CR6","unstructured":"Byun, S., Kennaway, J., van Oostrom, V., de Vries, F.: Separability and Translatability of Sequential Term Rewrite Systems into the Lambda Calculus. Technical Report tr-2001-16, University of Leicester (2001)"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Cirstea, H., Kirchner, C.: The Simply Typed Rewriting Calculus. In: Proc. of WRLA. ENTCS (2000)","DOI":"10.1016\/S1571-0661(05)80127-6"},{"issue":"3","key":"10_CR8","first-page":"427","volume":"9","author":"H. Cirstea","year":"2001","unstructured":"Cirstea, H., Kirchner, C.: The rewriting calculus \u2014 Part I and II. Logic Journal of the Interest Group in Pure and Applied Logics\u00a09(3), 427\u2013498 (2001)","journal-title":"Logic Journal of the Interest Group in Pure and Applied Logics"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/3-540-45127-7_8","volume-title":"Rewriting Techniques and Applications","author":"H. Cirstea","year":"2001","unstructured":"Cirstea, H., Kirchner, C., Liquori, L.: Matching Power. In: Middeldorp, A. (ed.) RTA 2001. LNCS, vol.\u00a02051, pp. 77\u201392. Springer, Heidelberg (2001)"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/3-540-45315-6_11","volume-title":"Foundations of Software Science and Computation Structures","author":"H. Cirstea","year":"2001","unstructured":"Cirstea, H., Kirchner, C., Liquori, L.: The Rho Cube. In: Honsell, F., Miculan, M. (eds.) FOSSACS 2001. LNCS, vol.\u00a02030, pp. 166\u2013180. Springer, Heidelberg (2001)"},{"key":"10_CR11","unstructured":"Cirstea, H., Kirchner, C., Liquori, L.: Rewriting Calculus with(out) Types. In: Proc. of WRLA. ENTCS (2002)"},{"key":"10_CR12","unstructured":"Protheo, \u00c9.: The Elan Home Page (2003), http:\/\/elan.loria.fr"},{"key":"10_CR13","first-page":"80","volume-title":"Proc. of POPL","author":"S.N. Kamin","year":"1988","unstructured":"Kamin, S.N.: Inheritance in Smalltalk-80: A Denotational Definition. In: Proc. of POPL, pp. 80\u201387. The ACM press, New York (1988)"},{"issue":"1","key":"10_CR14","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1006\/inco.1996.0004","volume":"124","author":"D. Kesner","year":"1996","unstructured":"Kesner, D., Puel, L., Tannen, V.: A Typed Pattern Calculus. Information and Computation\u00a0124(1), 32\u201361 (1996)","journal-title":"Information and Computation"},{"key":"10_CR15","unstructured":"Mendler, N.P.: Inductive Definition in Type Theory. PhD thesis, Cornell University, Ithaca, USA (1987)"},{"key":"10_CR16","unstructured":"The Maude Team. The Maude Home Page (2003), http:\/\/maude.cs.uiuc.edu\/"},{"key":"10_CR17","unstructured":"van Oostrom, V.: Lambda Calculus with Patterns. Technical Report IR-228, Faculteit der Wiskunde en Informatica, Vrije Universiteit Amsterdam (1990)"}],"container-title":["Lecture Notes in Computer Science","Types for Proofs and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24849-1_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,2]],"date-time":"2023-06-02T17:49:53Z","timestamp":1685728193000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24849-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221647","9783540248491"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24849-1_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}