{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T17:51:22Z","timestamp":1649094682896},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1984,6,1]],"date-time":"1984-06-01T00:00:00Z","timestamp":454896000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Computer and Information Sciences"],"published-print":{"date-parts":[[1984,6]]},"DOI":"10.1007\/bf00979873","type":"journal-article","created":{"date-parts":[[2005,1,14]],"date-time":"2005-01-14T10:21:07Z","timestamp":1105698067000},"page":"219-236","source":"Crossref","is-referenced-by-count":0,"title":["A glimpse into the paradise of combinatory algebra"],"prefix":"10.1007","volume":"13","author":[{"given":"W. Richard","family":"Stark","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"363","DOI":"10.2307\/2370728","volume":"51","author":"H. B. Curry","year":"1929","unstructured":"H. B. Curry, An analysis of logical substitution,Amer. J. Math.,51:363?384 (1929).","journal-title":"Amer. J. Math."},{"issue":"34","key":"CR2","doi-asserted-by":"crossref","first-page":"381","DOI":"10.2307\/1968167","volume":"2","author":"H. B. Curry","year":"1933","unstructured":"H. B. Curry, Apparent variables from the standpoint of combinatory logic,Ann. Math. 2 (34):381?404 (1933).","journal-title":"Ann. Math."},{"key":"CR3","first-page":"61","volume-title":"Some philosophical aspects of combinatory logic, The Kleene Symposium","author":"H. B. Curry","year":"1978","unstructured":"H. B. Curry, Some philosophical aspects of combinatory logic, The Kleene Symposium, (eds., J. Barwise, H. J. Keisler, and K. Kunen, North-Holland, Amsterdam, p. 61?84, (1978)."},{"key":"CR4","volume-title":"Combinatory Logic, Vol. I","author":"H. B. Curry","year":"1958","unstructured":"H. B. Curry and Robert Feys, Combinatory Logic, Vol. I, North-Holland, Amsterdam, (1958)."},{"key":"CR5","volume-title":"Combinatory Logic, Vol. II","author":"H. B. Curry","year":"1972","unstructured":"H. B. Curry, J. R. Hindley, and J. P. Seldin, Combinatory Logic, Vol. II, North-Holland, Amsterdam, (1972)."},{"issue":"4","key":"CR6","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1145\/367177.367199","volume":"3","author":"John McCarthy","year":"1960","unstructured":"John McCarthy, Recursive functions of symbolic expressions and their computation by machine, Part I,CACM,3 (4):184?195 (1960).","journal-title":"CACM"},{"key":"CR7","volume-title":"A basis for a mathematical theory of computation, Computer Programming and Formal Systems","author":"John McCarthy","year":"1963","unstructured":"John McCarthy, A basis for a mathematical theory of computation, Computer Programming and Formal Systems, North-Holland, Amsterdam (1963)."},{"key":"CR8","unstructured":"John McCarthy, History of LISP, in History of Programming Languages edited by R. L. Wexelblat, Academic Press, (1981)."},{"issue":"8","key":"CR9","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"John Backus","year":"1978","unstructured":"John Backus, Can Programming be liberated from the vonNeumann style? A functional style and its algebra of programs,CACM,21 (8):613?641 (1978).","journal-title":"CACM"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"John Backus, Functional level programs as mathematical objects,Proc. ACM Symp. on LISP and Functional Computing, New York, (1981).","DOI":"10.1145\/800223.806757"},{"key":"CR11","volume-title":"To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism","author":"J. P. Seidin","year":"1980","unstructured":"J. P. Seidin and J. R. Hindley, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, Academic Press, New York (1980)."},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"J. B. Rosser, Highlights in the history of the lambda calculus, ACM Symposium on LISP and Functional computing, (1982).","DOI":"10.21236\/ADA124383"},{"key":"CR13","first-page":"346","volume-title":"Some philosophical issues concerning the theories of combinators, ?-Calculus and Computer Science Theory, Lecture Notes in Computer Science","author":"Dana Scott","year":"1975","unstructured":"Dana Scott, Some philosophical issues concerning the theories of combinators, ?-Calculus and Computer Science Theory, Lecture Notes in Computer Science, Springer, Berlin37:346?366 (1975); Lambda calculus: some models, some philosophy, The Kleene Symposium, North-Holland, Amsterdam, p. 223?266, (977); Logic and programming languages,CACM 20 (9):634?49 (1980)."},{"key":"CR14","volume-title":"The lambda calculus","author":"Henk P. Barendregt","year":"1980","unstructured":"Henk P. Barendregt, The lambda calculus, North-Holland, Amsterdam, (1980)."},{"key":"CR15","volume-title":"Introduction to Metamathematics","author":"S. Kleene","year":"1950","unstructured":"S. Kleene, Introduction to Metamathematics, D. Van Nostrand, Princeton, (1950)."},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"D. A. Turner, The semantic elegance of applicative languages, Proceedings of the 1981 ACM Symposium on LISP and Functional Computing, (1981).","DOI":"10.1145\/800223.806766"},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"P. J. Landin, A correspondence between ALGOL 60 and Church's Lambda Calculus,CACM,8 (3):158?65.","DOI":"10.1145\/363791.363804"},{"issue":"3","key":"CR18","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1145\/365230.365257","volume":"9","author":"P. J. Landin","year":"1966","unstructured":"P. J. Landin, The next 700 programming languages,CACM,9 (3):157?64 (1966).","journal-title":"CACM"},{"issue":"18","key":"CR19","first-page":"000","volume":"12","author":"D. Warren","year":"1977","unstructured":"D. Warren,et al., PROLOG?The language and its implementation compared with LISP, Proceedings of the Symposium on Artificial Intelligence and Programming Languages, SIGPLAN Notices,12 (18):000?000 (1977).","journal-title":"Proceedings of the Symposium on Artificial Intelligence and Programming Languages, SIGPLAN Notices"},{"key":"CR20","unstructured":"K. L. Clark and F. G. McCabe, PROLOG: a language for implementing expert systems, memo of the Department of Computing, Imperial College, London, (1980)."},{"key":"CR21","volume-title":"Functional Programming: Applications and Implementation","author":"P. Henderson","year":"1980","unstructured":"P. Henderson, Functional Programming: Applications and Implementation, Prentice-Hall, Englewood Cliffs, New Jersey (1980)."},{"key":"CR22","doi-asserted-by":"crossref","unstructured":"C. Smorynski, Fixed point algebras, Bulletin (new)AMS,6 (3):317?429;8 (2):407 (1982).","DOI":"10.1090\/S0273-0979-1982-15002-9"},{"key":"CR23","volume-title":"From Frege to G\u00f6del: A source book in mathematical logic (1924)","author":"Sch\u00f6nfinkle","year":"1967","unstructured":"Sch\u00f6nfinkle, On the building blocks of mathematical logic, inFrom Frege to G\u00f6del: A source book in mathematical logic (1924), edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., (1967)."}],"container-title":["International Journal of Computer & Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00979873.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00979873\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00979873","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T09:39:01Z","timestamp":1586079541000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00979873"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,6]]},"references-count":23,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1984,6]]}},"alternative-id":["BF00979873"],"URL":"https:\/\/doi.org\/10.1007\/bf00979873","relation":{},"ISSN":["0091-7036","1573-7640"],"issn-type":[{"value":"0091-7036","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[1984,6]]}}}