{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:26Z","timestamp":1725663686654},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540569923"},{"type":"electronic","value":"9783540478904"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56992-8_7","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:00:27Z","timestamp":1330257627000},"page":"85-99","source":"Crossref","is-referenced-by-count":5,"title":["A self-interpreter of lambda calculus having a normal form"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Berarducci","sequence":"first","affiliation":[]},{"given":"Corrado","family":"B\u00f6hm","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"7_CR1","volume-title":"The Lambda Calculus","author":"H. P. Barendregt","year":"1984","unstructured":"H. P. Barendregt, The Lambda Calculus, Revised edition, North-Holland, Amsterdam 1984.","edition":"Revised edition"},{"issue":"2","key":"7_CR2","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1017\/S0956796800020025","volume":"1","author":"H. P. Barendregt","year":"1991","unstructured":"H. P. Barendregt, Self interpretation in lambda calculus, Journal of functional programming 1 (2), 229\u2013239, April 1991.","journal-title":"Journal of functional programming"},{"issue":"718","key":"7_CR3","first-page":"403","volume":"18","author":"J. A. Bergstra","year":"1982","unstructured":"J. A. Bergstra and J. W. Klop, Strong normalization and perpetual reductions in the lambda calculus, J. Inform. Process. Cybernet. 18 (718), 403\u2013417, 1982.","journal-title":"J. Inform. Process. Cybernet."},{"key":"7_CR4","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0304-3975(85)90135-5","volume":"39","author":"C. B\u00f6hm","year":"1985","unstructured":"C. B\u00f6hm and A. Berarducci, Automatic synthesis of typed \u039b-programs on term algebras, Theoretical Computer Science 39 (1985), 135\u2013154.","journal-title":"Theoretical Computer Science"},{"key":"7_CR5","first-page":"91","volume-title":"LICS 88","author":"C. B\u00f6hm","year":"1988","unstructured":"C. B\u00f6hm and A. Piperno, Characterizing X-separability and one-side-Invertibility in \u03bb-\u03b2-\u03a9-calculus, LICS 88, Edimburgh, Computer Soc. of the IEEE, 1988, 91\u2013101."},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"C. B\u00f6hm, A. Piperno and E. Tronci, Solving equations in Lambda-Calculus, in \u201cLogic Colloquium '88, Proceedings of the Colloquium held in Padova, Italy, August 22\u201331, 1988\u201d, North-Holland 1989.","DOI":"10.1016\/S0049-237X(08)70268-4"},{"issue":"1","key":"7_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(91)90057-9","volume":"90","author":"C. B\u00f6hm","year":"1991","unstructured":"C. B\u00f6hm and E. Tronci, About systems of equations in lambda calculus, Information and Computation, vol. 90, 1 (1991) 1\u201332.","journal-title":"Information and Computation"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"N. Deschowitz, J.-P. Jouannaud and J. W. Klop, Open problems in rewriting, in \u201cProceedings of RTA '91\u201d, Springer Lectures Notes in Computer Science, 488, 1991.","DOI":"10.1007\/3-540-53904-2_120"},{"key":"7_CR9","unstructured":"Torben \u00c6. Mogensen, Efficient self interpretation in lambda calculus, to be published in J. of functional programming."},{"issue":"No.3","key":"7_CR10","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1142\/S0129054190000230","volume":"1","author":"A. Piperno","year":"1990","unstructured":"A. Piperno and E. Tronci, Regular systems of equations in \u03bb-calculus, International Journal of Foundations of Computer Science, Vol. 1, No. 3 (1990) 325\u2013339.","journal-title":"International Journal of Foundations of Computer Science"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56992-8_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:07:57Z","timestamp":1605647277000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56992-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540569923","9783540478904"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-56992-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}