Editing SKI combinator calculus (section)

==References ==
{{Reflist}}
{{refbegin}}
*{{cite book |author-link=Raymond Smullyan |last=Smullyan |first=Raymond |date=1985 |title=To Mock a Mockingbird |title-link=To Mock a Mockingbird |publisher=Knopf |isbn=0-394-53491-3}} A gentle introduction to combinatory logic, presented as a series of recreational puzzles using bird watching metaphors.
*{{cite book |author-mask=1 |author-link=Raymond Smullyan |last=Smullyan |first=Raymond |date=1994 |title=Diagonalization and Self-Reference |publisher=Oxford University Press |chapter=Ch. 17–20 |isbn=9780198534501 |oclc=473553893}} are a more formal introduction to combinatory logic, with a special emphasis on fixed point results.
{{refend}}