Obligatory reference to Raymond Smullyan's seminal To Mock A Mockingbird [1], one of my favorite books and a great introduction to the lambda calculus. I guess

Obligatory reference to Raymond Smullyan's seminal To Mock A Mockingbird [1], one of my favorite books and a great introduction to the lambda calculus. I guess the resemblance to actual bird language is more than just passing. [1] https://en.wikipedia.org/wiki/To_Mock_a_Mockingbird https://en.wikipedia.org/wiki/To_Mock_a_Mockingbird