{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T23:03:05Z","timestamp":1764284585272,"version":"3.46.0"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032120854"},{"type":"electronic","value":"9783032120861"}],"license":[{"start":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T00:00:00Z","timestamp":1764201600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T00:00:00Z","timestamp":1764201600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-12086-1_12","type":"book-chapter","created":{"date-parts":[[2025,11,26]],"date-time":"2025-11-26T08:36:23Z","timestamp":1764146183000},"page":"209-224","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["The Turner 2-Strings Machines"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3497-5044","authenticated-orcid":false,"given":"Rafael Dueire","family":"Lins","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,11,27]]},"reference":[{"key":"12_CR1","unstructured":"Sch\u00f6nfinkel, M.: \u00dcber die Bausteine der mathematischen Logik, From Frege to G\u00f6del: A Source Book in Mathematical Logic, 1879-1931, pp. 355\u2013366. Harvard University Press (1967). ISBN 978-0674324497"},{"key":"12_CR2","unstructured":"Wolfram, S.: Where Did Combinators Come From? Hunting the Story of Moses Sch\u00f6nfinkel (2024). ISBN 978-1-57955-044-8"},{"key":"12_CR3","unstructured":"Turner, D.A., Joy, M.S.: SASL Language Manual, Document (Functional Language Implementation Project). University of Warwick, Department of Computer Science (1989)"},{"key":"12_CR4","doi-asserted-by":"publisher","unstructured":"Curry, H.: Grundlagen der Kombinatorischen Logik (Foundations of combinatorial logic). American Journal of Mathematics (in German), pp. 509\u2013536. The Johns Hopkins University Press (1930). https:\/\/doi.org\/10.2307\/2370619","DOI":"10.2307\/2370619"},{"key":"12_CR5","unstructured":"Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools, 2nd edn. Addison-Wesley Longman Publishing Co., Inc., USA (2006). ISBN 0321486811"},{"issue":"1","key":"12_CR6","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1002\/spe.4380090105","volume":"9","author":"DA Turner","year":"1979","unstructured":"Turner, D.A.: A new implementation technique for applicative languages. Softw. Pract. Exp. 9(1), 31\u201349 (1979). https:\/\/doi.org\/10.1002\/spe.4380090105","journal-title":"Softw. Pract. Exp."},{"key":"12_CR7","unstructured":"Turing, A.: Alan Turing\u2019s Systems of Logic: The Princeton Thesis, Woodstock, England, editor: Andrew W. Appel, Princeton Univ. (2012)"},{"issue":"2","key":"12_CR8","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/BF03037065","volume":"3","author":"K Noshita","year":"1985","unstructured":"Noshita, K., Hikita, T.: The BC-chain method for representing combinators in linear space. New Gen. Comput. 3(2), 131\u2013144 (1985). https:\/\/doi.org\/10.1007\/BF03037065","journal-title":"New Gen. Comput."},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"McCarthy, J.: History of LISP. Association for Computing Machinery, History of Programming Languages, pp. 173\u2013185 (1978). ISBN 0127450408","DOI":"10.1145\/800025.1198360"},{"issue":"1","key":"12_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/366193.366201","volume":"6","author":"JW Backus","year":"1963","unstructured":"Backus, J.W., Bauer, F.L., et al.: Revised report on the algorithmic language ALGOL 60. Commun. ACM 6(1), 1\u201317 (1963). https:\/\/doi.org\/10.1145\/366193.366201","journal-title":"Commun. ACM"},{"key":"12_CR11","doi-asserted-by":"publisher","unstructured":"Rojas, R., G\u00f6ktekin, C., et al.: Konrad Zuses Plankalk\u00fcl \u2014 Seine Genese und eine moderne Implementierung. Geschichten der Informatik: Visionen, Paradigmen, Leitmotive, pp. 215\u2013235. Springer, Heidelberg (2004). ISBN 978-3-642-18631-8. https:\/\/doi.org\/10.1007\/978-3-642-18631-8-9","DOI":"10.1007\/978-3-642-18631-8-9"},{"issue":"2","key":"12_CR12","doi-asserted-by":"publisher","first-page":"267","DOI":"10.2307\/2273733","volume":"V44","author":"DA Turner","year":"1979","unstructured":"Turner, D.A.: Another algorithm for bracket abstraction. J. Symb. Log. V44(2), 267\u2013270 (1979)","journal-title":"J. Symb. Log."},{"issue":"7","key":"12_CR13","doi-asserted-by":"publisher","first-page":"739","DOI":"10.1016\/S0167-739X(99)00088-6","volume":"16","author":"S Diehl","year":"2000","unstructured":"Diehl, S., Hartel, P., Sestoft, P.: Abstract machines for programming language implementation. Future Gener. Comput. Syst. 16(7), 739\u2013751 (2000). https:\/\/doi.org\/10.1016\/S0167-739X(99)00088-6","journal-title":"Future Gener. Comput. Syst."},{"key":"12_CR14","unstructured":"Jones, R., Lins, R.D.: Garbage collection: algorithms for automatic dynamic memory management. Wiley, USA (1996). ISBN 0471941484"},{"issue":"1","key":"12_CR15","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/0165-6074(93)90039-N","volume":"37","author":"RD Lins","year":"1993","unstructured":"Lins, R.D., Soares, P.G.: Some performance figures for the G-Machine and its optimisations. Microprocessing Microprogramming 37(1), 163\u2013166 (1993). https:\/\/doi.org\/10.1016\/0165-6074(93)90039-N","journal-title":"Microprocessing Microprogramming"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-12086-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T23:01:58Z","timestamp":1764284518000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-12086-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,27]]},"ISBN":["9783032120854","9783032120861"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-12086-1_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,11,27]]},"assertion":[{"value":"27 November 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SBMF","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazilian Symposium on Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Recife","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazil","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 December 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 December 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sbmf2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sbmf2025.ufrpe.br\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}