Editing Haskell Curry (section)

== References ==
*{{cite book| last=Barendregt|first=Hendrik Pieter|author-link=Henk Barendregt|year=1984|title=The Lambda Calculus, Its Syntax and Semantics. Studies in Logic and the Foundations of Mathematics|volume=103| publisher=[[North-Holland Publishing Company|North Holland]] |isbn=0-444-87508-5}}
*{{cite book|last1=
Knuth|first1=Donald Ervin|author1-link=Donald Knuth|last2=Pardo|first2=Luis Trabb |year=1976|title=Early development of programming languages|publisher=Stanford University, Computer Science Department}}
*{{cite journal |last=Marcus |first=R. Barcan |author-link=Ruth Barcan Marcus |date=1952 |title=Review: ''Leçons de logique algébrique'', by H. B. Curry |journal=Bulletin of the American Mathematical Society |doi=10.1090/s0002-9904-1952-09657-9 |volume=58 |issue=2 |pages=673–674 |url=https://www.ams.org/journals/bull/1952-58-06/S0002-9904-1952-09657-9/|doi-access=free}}
*{{cite journal |last=Nelson |first=D. |author-link=Nels David Nelson |date=1952 |title=Review: ''A theory of formal deducibility'', by H. B. Curry |journal=Bulletin of the American Mathematical Society |doi=10.1090/s0002-9904-1952-09596-3 |volume=58 |issue=3 |pages=415–417 |url=https://www.ams.org/journals/bull/1952-58-03/S0002-9904-1952-09596-3/|doi-access=free}}
*{{cite journal |first=Moses |last=Schönfinkel |author-link=Moses Schönfinkel |year=1924 |url=http://www.cip.ifi.lmu.de/~langeh/test/1924%20-%20Schoenfinkel%20-%20Ueber%20die%20Bausteine%20der%20mathematischen%20Logik.pdf |title=Über die Bausteine der mathematischen Logik |journal=Mathematische Annalen |volume=92 |issue=3–4 |pages=305–316 |doi=10.1007/bf01448013|s2cid=118507515|language=de|quote=The article that founded combinatory logic. English translation: {{harvtxt|Schönfinkel|1967}}}}
*{{cite book |first=Moses|last=Schönfinkel|author-link=Moses Schönfinkel|orig-year=1924|translator-first=Stefan|translator-last=Bauer-Mengelberg|title=Über die Bausteine der mathematischen Logik|trans-title=On the building blocks of mathematical logic|editor-first= Jean|editor-last=Van Heijenoort|editor-link=Jean van Heijenoort|year=1967|series=From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931|publisher=[[Harvard University Press]]| location=Cambridge, MA, USA|language=en|pages=355–366|isbn=978-0674324497|oclc=503886453}}
* {{cite book|editor1-last=Seldin|editor1-first=Jonathan P.|editor2-last=Hindley|editor2-first=J.R.|year= 1980|title=To H.B. Curry: Essays on combinatory logic, lambda calculus, and formalism|publisher= Academic Press}}
*{{cite web|last=Seldin|first=Jonathan P.|title=The Logic of Curry and Church|date=3 March 2008|url=http://people.uleth.ca/%7Ejonathan.seldin/CCL.pdf|access-date=23 September 2023}}