Editing Combinatory logic (section)

==Literature==
*{{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|first=Edward |last=Cherlin |title=Proceedings of the international conference on APL '91 - APL '91 |chapter=Pure functions in APL and J |pages=88–93 |year=1991 |doi=10.1145/114054.114065|isbn=0897914414 |s2cid=25802202 }}
*{{cite journal|last=Curry|first=Haskell Brooks|title=Grundlagen der Kombinatorischen Logik|journal=American Journal of Mathematics|year=1930|volume=52|issue=3|pages=509–536|author-link=Haskell Curry|trans-title=Foundations of combinatorial logic|publisher=The Johns Hopkins University Press|language=de|doi=10.2307/2370619|jstor=2370619}}
*{{cite book| last1=Curry|first1=Haskell Brooks|author-link1=Haskell Curry|last2=Feys|first2=Robert|author-link2=Robert Feys|title=Combinatory Logic|volume=I|year=1958|publisher=North Holland|location=Amsterdam|isbn=0-7204-2208-6}}
*{{cite book| last1=Curry|first1=Haskell Brooks|author-link1=Haskell Curry|first2=J. Roger|last2=Hindley|author-link2=J. Roger Hindley|first3=Jonathan P.|last3=Seldin|title=Combinatory Logic|volume=II|year=1972| publisher=North Holland |location=Amsterdam | isbn=0-7204-2208-6}}
*{{cite book
 | last = Engeler | first = E.
 | pages = 5–6
 | publisher = Birkhäuser
 | title = The Combinatory Programme
 | url = https://people.math.ethz.ch/~engeler/CombinatoryProgram-foreword.pdf
 | year = 1995}}
*{{cite book| last1=Field |first1=Anthony J. |first2=Peter G.|last2=Harrison |author-link2=Peter G. Harrison |year=1998 |title=Functional Programming |url=https://archive.org/details/functionalprogra0000fiel |url-access=registration |publisher=Addison-Wesley |isbn=0-201-19249-7}}
*{{cite journal | first=Mayer | last=Goldberg | doi=10.1016/j.ipl.2003.12.005 | volume=89 | issue=6 | year=2004 | title=A construction of one-point bases in extended lambda calculi | journal=Information Processing Letters | pages=281–286}}
*{{cite journal| last1=Hindley|first1=J. Roger|author-link1=J. Roger Hindley|last2=Meredith|first2=David|title=Principal type-schemes and condensed detachment|url=http://projecteuclid.org/euclid.jsl/1183743187|mr=1043546|journal=[[Journal of Symbolic Logic]]|volume = 55|issue=1|pages=90–105|year=1990|doi=10.2307/2274956|jstor=2274956|s2cid=6930576}}
*{{cite book |last1=Hindley |first1=J. Roger|author-link1=J. Roger Hindley |last2=Seldin |first2=Jonathan P. |year=2008|orig-year=1986|url=http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521898850 |title=Lambda-Calculus and Combinators: An Introduction |edition=2nd|publisher=[[Cambridge University Press]]|isbn=9780521898850}}
*{{cite journal |last=Lachowski |first=Łukasz |title=On the Complexity of the Standard Translation of Lambda Calculus into Combinatory Logic |journal=Reports on Mathematical Logic |date=2018 |volume=2018 |issue=53 |pages=19–42 |doi=10.4467/20842589RM.18.002.8835 |url=http://www.ejournals.eu/rml/2018/Number-53/art/12285 |access-date=9 September 2018|doi-access=free}}
*{{cite book |last=Paulson |first=Lawrence C. |author-link=Lawrence Paulson |year=1995 |url=http://www.cl.cam.ac.uk/Teaching/Lectures/founds-fp/Founds-FP.ps.gz |title=Foundations of Functional Programming |publisher=University of Cambridge}}
*{{cite journal |author-link=Willard Van Orman Quine |last=Quine |first=Willard Van Orman|year=1960 |title=Variables explained away|journal=Proceedings of the American Philosophical Society |volume=104 |issue=3 |pages=343–347 |jstor=985250|quote=Reprinted as Chapter 23 of {{harvtxt|Quine|1996}}}}
*{{cite book |author-link=Willard Van Orman Quine |last=Quine |first=Willard Van Orman|year=1996|orig-date=1960|chapter=Variables explained away|title=Selected Logic Papers|publisher=[[Harvard University Press]]|location=Cambridge, Mass.|pages=227–235|isbn=9780674798373|edition=Enl. ed., 2. print}}
*{{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 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=17 September 2023}}
*{{cite book|last=Smullyan|first=Raymond|author-link=Raymond Smullyan|year=1985|title=[[To Mock a Mockingbird|To Mock a Mockingbird And Other Logic Puzzles Including an Amazing Adventure in Combinatory Logic]]|publisher=Knopf|isbn=0-394-53491-3|quote=A gentle introduction to combinatory logic, presented as a series of recreational puzzles using bird watching metaphors.}}
*{{cite book|last=Smullyan|first=Raymond|author-link=Raymond Smullyan|year=1994|title=Diagonalization and Self-Reference|publisher=[[Oxford University Press]]|isbn=978-0198534501|location=Oxford and New York|series=Oxford logic guides|volume=27|quote=Chapters 17–20 are a more formal introduction to combinatory logic, with a special emphasis on fixed point results.}}
*{{cite book|last1=Sørensen|first1=Morten Heine B|last2=Urzyczyn|first2=Paweł|year=2006|orig-year=1999|url=http://folli.loria.fr/cds/1999/library/pdf/curry-howard.pdf|title=Lectures on the Curry–Howard Isomorphism|isbn=978-0444520777|series=Studies in Logic and the Foundations of Mathematics|volume=149|pages=442|edition=1st|publisher=[[Elsevier]]|access-date=2017-04-22|archive-date=2005-10-16|archive-url=https://web.archive.org/web/20051016213140/http://folli.loria.fr/cds/1999/library/pdf/curry-howard.pdf|url-status=dead}}
*{{cite book |first=John |last=Tromp |chapter=Binary Lambda Calculus and Combinatory Logic |title=Randomness And Complexity, from Leibniz To Chaitin |editor-first=Cristian S. |editor-last=Calude |publisher=World Scientific Publishing Company |year=2008 |chapter-url=http://tromp.github.io/cl/LC.pdf|archive-url=https://web.archive.org/web/20160304083208/http://tromp.github.io/cl/LC.pdf |archive-date=2016-03-04}}
*{{cite journal|last=Turner|first=David A.|author-link=David Turner (computer scientist)|title=Another Algorithm for Bracket Abstraction|journal=The Journal of Symbolic Logic|volume=44|issue=2|pages=267–270|year=1979|doi=10.2307/2273733|jstor=2273733|s2cid=35835482}}
*{{cite book |last=Wolfengagen |first=V. E. |url=https://archive.org/details/CLP-2003_780 |title=Combinatory logic in programming: Computations with objects through examples and exercises |edition=2nd |location=Moscow |publisher="Center JurInfoR" Ltd. |year=2003 |isbn=5-89158-101-9}}
*{{cite book| last=Wolfram | first=Stephen | authorlink=Stephen Wolfram | url=https://www.wolfram-media.com/products/combinators-a-centennial-view.html |title= Combinators: A Centennial View | publisher=[[Wolfram Media]] | year=2021 | isbn=978-1-57955-043-1|quote= A celebration of the development of combinators, a hundred years after they were introduced by {{harvtxt|Schönfinkel|1924}}}} (eBook: {{ISBN|978-1-57955-044-8}})