{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:31Z","timestamp":1725663391317},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540190202"},{"type":"electronic","value":"9783540389200"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19020-1_3","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:55:30Z","timestamp":1330199730000},"page":"43-56","source":"Crossref","is-referenced-by-count":0,"title":["Rule-based semantics for an extended lambda-calculus"],"prefix":"10.1007","author":[{"given":"Gy\u00f6rgy E.","family":"R\u00e9v\u00e9sz","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"3_CR1","unstructured":"Arvind, Kathail, V., and Pingali, K., Sharing Computation in Functional Language Implementations, Proc. Internat. Workshop on High-level Computer Architecture, Los Angeles, May 21\u201325, 1985, pp. 5.1\u20135.12."},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Backus, J., The algebra of functional programs: Function level reasoning, linear equations, and extended definitions, Proc. International Colloquium on the Formalization of Programming Concepts, Lecture Notes in Computer Science, No. 107, Springer-Verlag 1981, pp. 1\u201343.","DOI":"10.1007\/3-540-10699-5_91"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Barendregt, H.P., The Lambda Calculus \u2014 Its Sytax and Semantics (revised edition), Studies in Logic and the Foundation of Mathematics, Vol.103, North-Holland 1984.","DOI":"10.1016\/S0049-237X(08)71818-4"},{"issue":"5","key":"3_CR4","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/0020-0190(82)90014-X","volume":"14","author":"F. W. Burton","year":"1982","unstructured":"Burton, F. W., A linear space translation of functional programs to Turner combinators, Information Processing Letters, Vol.14, No.5, 1982, pp. 201\u2013204.","journal-title":"Information Processing Letters"},{"key":"3_CR5","first-page":"128","volume-title":"SKIM \u2014 The S, K, I reduction macine","author":"T. J. W. W. Clarke","year":"1980","unstructured":"Clarke, T. J. W., Gladstone, P. J. S, MacLean, C. D., and Norman, A. C., SKIM \u2014 The S, K, I reduction macine, LISP Conference Records, Stanford Univ., Stanford, CA 1980, pp. 128\u2013135."},{"key":"3_CR6","first-page":"257","volume-title":"Automata, Languages, and Programming","author":"D. P. Friedman","year":"1976","unstructured":"Friedman, D. P. and Wise, D. S., Cons should not evaluate its arguments, in Automata, Languages, and Programming (Michaelson S. and Milner, R. eds) pp. 257\u2013284. Edinburgh University Press, Edinburgh (1976)."},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Hindley, J. R., and Seldin, J. P., Introduction to Combinators and \u03bb-calculus, London Mathematical Society Student Text 1, Cambridge University Press 1986.","DOI":"10.1017\/CBO9780511809835.002"},{"key":"3_CR8","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1007\/3-540-15975-4_37","volume":"201","author":"T. Johnsson","year":"1985","unstructured":"Johnsson, T., Lambda lifting: Transforming programs to recursive equations, IFIP Conf. on Functional Programming Languages and Computer Architecture, Sept. 16\u201319, 1985, Nancy, France, Lecture Notes in Computer Science, Vol.201, Springer Verlag 1985, pp. 190\u2013203.","journal-title":"IFIP Conf. on Functional Programming Languages and Computer Architecture"},{"issue":"2","key":"3_CR9","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/BF03037065","volume":"3","author":"K. Noshita","year":"1985","unstructured":"Noshita, K., and Hikita, T., The BC-chain method for representing combinators in linear space, New Generation Computing, Vol.3, No.2, (1985), pp. 131\u2013144.","journal-title":"New Generation Computing"},{"issue":"2","key":"3_CR10","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1137\/0214028","volume":"14","author":"G. Revesz","year":"1985","unstructured":"Revesz, G., Axioms for the theory of lambda-conversion, SIAM Journal on Computing, Vol.14, No.2, (1985) pp. 373\u2013382.","journal-title":"SIAM Journal on Computing"},{"issue":"3","key":"3_CR11","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/0743-1066(84)90012-8","volume":"1","author":"G. Revesz","year":"1984","unstructured":"Revesz, G., An extension of lambda-calculus for functional programming, The Journal of Logic Programming, Vol.1, No.3, (1984) pp. 241\u2013251.","journal-title":"The Journal of Logic Programming"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Scheevel, M., NORMA: A graph reduction processor, Proc. of the 1986 ACM Conference on LISP and Functional Programming, Cambridge, Mass. (Aug. 1986), pp. 212\u2013219.","DOI":"10.1145\/319838.319864"},{"issue":"2","key":"3_CR13","doi-asserted-by":"crossref","first-page":"267","DOI":"10.2307\/2273733","volume":"44","author":"D. A. Turner","year":"1979","unstructured":"Turner, D. A., Another algorithm for bracket abstraction, Journal of Symbolic Logic, Vol.44, No.2, (June 1979), pp. 267\u2013270.","journal-title":"Journal of Symbolic Logic"},{"issue":"1","key":"3_CR14","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1002\/spe.4380090105","volume":"9","author":"D. A. Turner","year":"1979","unstructured":"Turner, D. A., A new implementation technique for applicative languages, Software \u2014 Practice and Experience, Vol.9, No.1, (1979) pp. 31\u201349.","journal-title":"Software \u2014 Practice and Experience"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Programming Language Semantics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19020-1_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T17:50:32Z","timestamp":1687283432000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19020-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190202","9783540389200"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-19020-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}