Editing Combinatory logic (section)

==External links==
*[[Stanford Encyclopedia of Philosophy]]: "[http://plato.stanford.edu/entries/logic-combinatory/ Combinatory Logic]" by [[Katalin Bimbó]].
*[https://web.archive.org/web/20070209093802/http://www.sadl.uleth.ca/gsdl/cgi-bin/library?a=p&p=about&c=curry 1920–1931 Curry's block notes.]
*Keenan, David C. (2001) "[http://dkeenan.com/Lambda/index.htm To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction.]"
*Rathman, Chris, "[https://www.angelfire.com/tx4/cus/combinator/birds.html Combinator Birds.]" A table distilling much of the essence of Smullyan (1985).
*[https://web.archive.org/web/20081029051502/http://cstein.kings.cam.ac.uk/~chris/combinators.html Drag 'n' Drop Combinators.] (Java Applet)
*[https://web.archive.org/web/20160304083208/http://tromp.github.io/cl/LC.pdf Binary Lambda Calculus and Combinatory Logic.]
*[http://code.google.com/p/clache Combinatory logic reduction web server]
*{{cite AV media
|last=Wolfram
|first=Stephen
|author-link=Stephen Wolfram
|date=29 April 2020
|url=https://www.youtube.com/watch?v=PG2G5xSz0NQ
|title=Combinators: 100-Year Celebration
|publisher=[[Stephen Wolfram|Wolfram Physics Project]] on [[YouTube]]
|access-date=26 September 2023
}}

{{authority control}}

[[Category:Combinatory logic|Combinatory logic]]
[[Category:Lambda calculus]]
[[Category:Logic in computer science]]