{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:18:14Z","timestamp":1742617094957,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164708"},{"type":"electronic","value":"9783540398097"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16470-7_14","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:44:02Z","timestamp":1330195442000},"page":"292-306","source":"Crossref","is-referenced-by-count":0,"title":["The BC-chain method for representing combinators in linear space"],"prefix":"10.1007","author":[{"given":"Kohei","family":"Noshita","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Teruo","family":"Hikita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1017\/S0022481200051914","volume":"41","author":"S. K. Abdali","year":"1976","unstructured":"S. K. Abdali: An abstraction algorithm for combinatory logic, J. Symbolic Logic, 41 (1976), 222\u2013224.","journal-title":"J. Symbolic Logic"},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/0020-0190(82)90014-X","volume":"14","author":"F. W. Burton","year":"1982","unstructured":"F. W. Burton: A linear space representation of functional programs to Turner combinators, Inform. Process. Lett., 14 (1982), 201\u2013204.","journal-title":"Inform. Process. Lett."},{"issue":"3","key":"14_CR3","first-page":"164","volume":"7","author":"T. Hikita","year":"1984","unstructured":"T. Hikita: On the average size of Turner's translation to combinator programs, J. Inform. Process., 7, 3 (1984), 164\u2013169.","journal-title":"J. Inform. Process."},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"R. J. M. Hughes: Super-Combinators, Conf. Rec. of the 1982 ACM Symp. on LISP and Functional Programming, 1982, 1\u201310.","DOI":"10.1145\/800068.802129"},{"key":"14_CR5","volume-title":"The complexity of a translation of \u03bb-calculus to combinators","author":"J. R. Kennaway","year":"1982","unstructured":"J. R. Kennaway: The complexity of a translation of \u03bb-calculus to combinators, School of Computing Studies and Accountancy, Univ. of East Anglia, Norwich, 1982."},{"key":"14_CR6","unstructured":"J. R. Kennaway and M. R. Sleep: Efficiency of counting director strings, typescript, 1983."},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"K. Noshita: Translation of Turner combinators in 0(n log n) space, Inform. Process. Lett., to appear.","DOI":"10.1016\/0020-0190(85)90066-3"},{"key":"14_CR8","doi-asserted-by":"crossref","first-page":"267","DOI":"10.2307\/2273733","volume":"44","author":"D. A. Turner","year":"1979","unstructured":"D. A. Turner: Another algorithm for bracket abstraction, J. Symbolic Logic, 44 (1979), 267\u2013270.","journal-title":"J. Symbolic Logic"},{"key":"14_CR9","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1002\/spe.4380090105","volume":"9","author":"D. A. Turner","year":"1979","unstructured":"D. A. Turner: A new implementation technique for applicative languages, Softw. Pract. Exper., 9 (1979), 31\u201349.","journal-title":"Softw. Pract. Exper."}],"container-title":["Lecture Notes in Computer Science","RIMS Symposia on Software Science and Engineering II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16470-7_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:26:55Z","timestamp":1742588815000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16470-7_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164708","9783540398097"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-16470-7_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}