{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:55:12Z","timestamp":1725663312820},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540171843"},{"type":"electronic","value":"9783540472537"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-17184-3_42","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:09:08Z","timestamp":1330196948000},"page":"104-122","source":"Crossref","is-referenced-by-count":0,"title":["Combinators and lambda-calculus, a short outline"],"prefix":"10.1007","author":[{"given":"J.","family":"Roger Hindley","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,5]]},"reference":[{"key":"6_CR1","volume-title":"The Lambda Calculus, its Syntax and Semantics","author":"H. P. Barendregt","year":"1984","unstructured":"BARENDREGT, H. P. [1984] The Lambda Calculus, its Syntax and Semantics, 2 ed., North-Holland Co., Amsterdam.","edition":"2 ed."},{"key":"6_CR2","unstructured":"CHURCH, A. [1941] The Calculi of Lambda Conversion, Princeton Univ. Press; reprinted 1963 by University Microfilms Inc., Ann Arbor, Michigan, U.S.A."},{"key":"6_CR3","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1111\/j.1746-8361.1969.tb01183.x","volume":"23","author":"H. B. Curry","year":"1969","unstructured":"CURRY, H. B. [1969] Modified basic functionality in combinatory logic, Dialectica 23, 83\u201392.","journal-title":"Dialectica"},{"key":"6_CR4","volume-title":"Combinatory Logic, Vol. I","author":"H. B. Curry","year":"1958","unstructured":"\u2014 & FEYS, R. [1958] Combinatory Logic, Vol. I, North-Holland Co., Amsterdam."},{"key":"6_CR5","volume-title":"Combinatory Logic, Vol. II","author":"H. B. Curry","year":"1972","unstructured":"\u2014 & HINDLEY, J. R., SELDIN, J. P. [1972] Combinatory Logic, Vol. II, North-Holland Co., Amsterdam."},{"key":"6_CR6","first-page":"29","volume":"146","author":"J. R. Hindley","year":"1969","unstructured":"HINDLEY, J. R. [1969] The principal type-scheme of an object in combinatory logic, Trans. American Math. Soc. 146, 29\u201360.","journal-title":"Trans. American Math. Soc."},{"key":"6_CR7","volume-title":"Introduction to Combinators and \u03bb-Calculus","author":"J. R. Hindley","year":"1985","unstructured":"\u2014 & SELDIN, J. P. [1985] Introduction to Combinators and \u03bb-Calculus, Cambridge Univ. Press, England, 1985 or 86."},{"key":"6_CR8","volume-title":"Natural Deduction","author":"D. Prawitz","year":"1965","unstructured":"PRAWITZ, D. [1965] Natural Deduction, Almgvist and Wiksell, Uppsala, Sweden."},{"key":"6_CR9","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/BF01448013","volume":"92","author":"M. SCHONFINKEL","year":"1924","unstructured":"SCHONFINKEL, M. [1924] Uber die Bausteine der Mathematischen Logik, Math. Annalen 92, 305\u201316. (English Trans. in From Frege to Godel, ed. J. van Heijenoort, Harvard Univ. Press, 1967, pp. 355\u201366.","journal-title":"Math. Annalen"}],"container-title":["Lecture Notes in Computer Science","Combinators and Functional Programming Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-17184-3_42.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:09:43Z","timestamp":1619557783000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-17184-3_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540171843","9783540472537"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-17184-3_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}