{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,13]],"date-time":"2024-12-13T05:34:48Z","timestamp":1734068088993,"version":"3.30.2"},"reference-count":11,"publisher":"Elsevier BV","issue":"1-3","license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,8,22]],"date-time":"2013-08-22T00:00:00Z","timestamp":1377129600000},"content-version":"vor","delay-in-days":3521,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2004,1]]},"DOI":"10.1016\/s0304-3975(03)00324-4","type":"journal-article","created":{"date-parts":[[2003,6,30]],"date-time":"2003-06-30T14:16:39Z","timestamp":1056982599000},"page":"105-119","source":"Crossref","is-referenced-by-count":4,"title":["Confluence of the coinductive \u03bb-calculus"],"prefix":"10.1016","volume":"311","author":[{"given":"Felix","family":"Joachimski","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0304-3975(03)00324-4_BIB1","doi-asserted-by":"crossref","unstructured":"T. Altenkirch, B. Reus, Monadic presentations of lambda terms using generalized inductive types, in: J. Flum, M. Rodr\u0131\u0300guez-Artalejo, (Eds.) Proc. 13th CSL 1999, Madrid, Lecture Notes in Computer Science, Vol. 1683, Springer, Berlin, Heidelberg, New York, 1999, pp. 453\u2013468.","DOI":"10.1007\/3-540-48168-0_32"},{"key":"10.1016\/S0304-3975(03)00324-4_BIB2","unstructured":"H. Barendregt, The Lambda Calculus: its Syntax and Semantics, North-Holland, Amsterdam, 2nd revised Edition, 1984."},{"issue":"1","key":"10.1016\/S0304-3975(03)00324-4_BIB3","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1017\/S0956796899003366","article-title":"De Bruijn notation as a nested datatype","volume":"9","author":"Bird","year":"1999","journal-title":"J. Funct. Programming"},{"key":"10.1016\/S0304-3975(03)00324-4_BIB4","series-title":"Proc. 1st Types 1993, Nijmengen","first-page":"62","article-title":"Infinite objects in type theory","volume":"Vol. 806","author":"Coquand","year":"1994"},{"key":"10.1016\/S0304-3975(03)00324-4_BIB5","doi-asserted-by":"crossref","unstructured":"M. Fiore, G. Plotkin, D. Turi, Abstract syntax and variable binding (extended abstract), in: Proc. 14th LICS 1999, Trento, IEEE Computer Science Press, Silver Spring, MD, 1999, pp. 193\u2013202.","DOI":"10.1109\/LICS.1999.782615"},{"key":"10.1016\/S0304-3975(03)00324-4_BIB6","series-title":"Proc. Types\u201994, Bastad","first-page":"35","article-title":"Codifying guarded definitions with recursive schemes","volume":"Vol. 996","author":"Gimenez","year":"1995"},{"key":"10.1016\/S0304-3975(03)00324-4_BIB7","series-title":"Proc. 11th RTA 2000, Norwich","first-page":"141","article-title":"Standardization and confluence for a lambda calculus with generalized applications","volume":"Vol. 1833","author":"Joachimski","year":"2000"},{"issue":"1","key":"10.1016\/S0304-3975(03)00324-4_BIB8","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/S0304-3975(96)00171-5","article-title":"Infinitary lambda calculus","volume":"175","author":"Kennaway","year":"1997","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(03)00324-4_BIB9","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","article-title":"Universal coalgebra","volume":"249","author":"Rutten","year":"2000","journal-title":"Theoret. Comput. Sci."},{"year":"1977","series-title":"Proof Theory","author":"Sch\u00fctte","key":"10.1016\/S0304-3975(03)00324-4_BIB10"},{"key":"10.1016\/S0304-3975(03)00324-4_BIB11","series-title":"Proc. 6th AMAST 1997, Sydney","first-page":"509","article-title":"Ensuring streams flow","volume":"Vol. 1349","author":"Telford","year":"1997"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397503003244?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397503003244?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,13]],"date-time":"2024-12-13T02:52:01Z","timestamp":1734058321000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397503003244"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,1]]},"references-count":11,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2004,1]]}},"alternative-id":["S0304397503003244"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(03)00324-4","relation":{},"ISSN":["0304-3975"],"issn-type":[{"type":"print","value":"0304-3975"}],"subject":[],"published":{"date-parts":[[2004,1]]}}}