Eric Lippert • 1/17/2023

The names of birds, part 1

This article is a technical digression in a blog series, introducing concepts of combinatory logic through the allegory of birds in a forest. It defines operations like composition and fixpoints, and proves a theorem about forests containing a mockingbird, establishing its relevance to programming and mathematical logic.

0 comments

#computer science #functional programming #Lambda Calculus