{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,7]],"date-time":"2026-10-07T22:23:33Z","timestamp":1791411813765,"version":"4.3.3"},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2007,10,25]],"date-time":"2007-10-25T00:00:00Z","timestamp":1193270400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Higher-Order Symb Comput"],"published-print":{"date-parts":[[2007,11,20]]},"DOI":"10.1007\/s10990-007-9018-9","type":"journal-article","created":{"date-parts":[[2007,10,24]],"date-time":"2007-10-24T14:59:33Z","timestamp":1193237973000},"page":"199-207","source":"Crossref","is-referenced-by-count":128,"title":["A call-by-name lambda-calculus machine"],"prefix":"10.1007","volume":"20","author":[{"given":"Jean-Louis","family":"Krivine","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2007,10,25]]},"reference":[{"issue":"1\u20133","key":"9018_CR1","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1016\/j.tcs.2006.12.028","volume":"375","author":"M. Biernacka","year":"2007","unstructured":"Biernacka, M., Danvy, O.: A syntactic correspondence between context-sensitive calculi and abstract machines. Theor. Comput. Sci. 375(1\u20133), 76\u2013108 (2007). Extended version available as the research report BRICS RS-06-18","journal-title":"Theor. Comput. Sci."},{"key":"9018_CR2","doi-asserted-by":"crossref","unstructured":"Danos, V., Krivine, J.-L.: Disjunctive tautologies and synchronisation schemes. In: Computer Science Logic\u201900. Lecture Notes in Computer Science, vol. 1862, pp.\u00a0292\u2013301 (2000)","DOI":"10.1007\/3-540-44622-2_19"},{"key":"9018_CR3","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1016\/1385-7258(72)90034-0","volume":"34","author":"N.G. Bruijn de","year":"1972","unstructured":"de Bruijn, N.G.: Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem. Indag. Math. 34, 381\u2013392 (1972)","journal-title":"Indag. Math."},{"key":"9018_CR4","doi-asserted-by":"crossref","unstructured":"Griffin, T.: A formul\u00e6-as-type notion of control. In: Conference Record of the 17th A.C.M. Symposium on Principles of Programming Languages (1990)","DOI":"10.1145\/96709.96714"},{"key":"9018_CR5","volume-title":"Lambda-Calculus, Types and Models","author":"J.-L. Krivine","year":"1993","unstructured":"Krivine, J.-L.: Lambda-Calculus, Types and Models. Ellis Horwood, Chichester (1993)"},{"issue":"3","key":"9018_CR6","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/s001530000057","volume":"40","author":"J.-L. Krivine","year":"2001","unstructured":"Krivine, J.-L.: Typed \u03bb-calculus in classical Zermelo-Fr\u00e6nkel set theory. Arch. Math. Log. 40(3), 189\u2013205 (2001)","journal-title":"Arch. Math. Log."},{"key":"9018_CR7","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/S0304-3975(02)00776-4","volume":"308","author":"J.-L. Krivine","year":"2003","unstructured":"Krivine, J.-L.: Dependent choice, \u2018quote\u2019 and the clock. Theor. Comput. Sci. 308, 259\u2013276 (2003)","journal-title":"Theor. Comput. Sci."},{"key":"9018_CR8","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1093\/comjnl\/6.4.308","volume":"6","author":"P.J. Landin","year":"1964","unstructured":"Landin, P.J.: The mechanical evaluation of expressions. Comput. J. 6, 308\u2013320 (1964)","journal-title":"Comput. J."}],"container-title":["Higher-Order and Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10990-007-9018-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10990-007-9018-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10990-007-9018-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T01:29:41Z","timestamp":1559352581000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10990-007-9018-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10,25]]},"references-count":8,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2007,11,20]]}},"alternative-id":["9018"],"URL":"https:\/\/doi.org\/10.1007\/s10990-007-9018-9","relation":{},"ISSN":["1388-3690","1573-0557"],"issn-type":[{"value":"1388-3690","type":"print"},{"value":"1573-0557","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,10,25]]}}}