{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:12:41Z","timestamp":1725664361029},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581406"},{"type":"electronic","value":"9783540484424"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58140-5_27","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:19:13Z","timestamp":1330251553000},"page":"278-290","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["An abstract property of confluence applied to the study of the lazy partial lambda calculus"],"prefix":"10.1007","author":[{"given":"Ram\u00f3n Pino","family":"P\u00e9rez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Even","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"27_CR1","volume-title":"The Lambda Calculus: Its Syntax and Semantics","author":"H. Barendregt","year":"1984","unstructured":"Barendregt, H. (1984), \u201cThe Lambda Calculus: Its Syntax and Semantics\u201d. North-Holland. Amsterdam. 1984."},{"issue":"no4","key":"27_CR2","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1145\/322217.322230","volume":"27","author":"G. Huet","year":"1980","unstructured":"Huet, G. (1980), Confluent Reductions: Abstract properties and application to term rewrite systems. Journal of ACM. vol. 27 no 4, pp797\u2013821. 1980.","journal-title":"Journal of ACM"},{"key":"27_CR3","unstructured":"Moggi, E. (1988), The Partial Lambda Calculus, Ph.D. Thesis, University of Edinburgh."},{"key":"27_CR4","volume-title":"Lecture Notes in Computer Science","author":"R. Pino P\u00e9rez","year":"1991","unstructured":"Pino P\u00e9rez, R. (1991), A Strict Partial Combinatory Algebra Based on Lambda Terms. In \u201cProceedings of the Symposium Mathematical Foundations of Computer Science' 91\u201d. September 9\u201313, 1991. Kazimierz Dolny, Poland. Lecture Notes in Computer Science. Vol. 520. Springer-Verlag. Berlin. 1991"},{"key":"27_CR5","unstructured":"Pino P\u00e9rez, R. (1992), Contribution \u00e0 l'\u00e9tude du Lambda Calcul Partiel, Ph.D. Thesis, University of Paris VII."},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"Plotkin, G. (1975), Call-by-name, call-by-value and the \u03bb-calculus. Theoretical Computer Science (1), 1975.","DOI":"10.1016\/0304-3975(75)90017-1"},{"key":"27_CR7","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1145\/321850.321862","volume":"21","author":"R. Sethi","year":"1974","unstructured":"Sethi, R. (1974), Testing for Church-Rosser Property. Journal of ACM. vol. 21, pp797\u2013821. 1974.","journal-title":"Journal of ACM."}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58140-5_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T08:04:20Z","timestamp":1558253060000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58140-5_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581406","9783540484424"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-58140-5_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]},"assertion":[{"value":"7 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}