An Introduction To Lambda Calculi For Computer Scientists
by C. Hankin
2mentions
2recommended by
2HN commenters
2015–2020first – last mentioned
100% recommend
Affiliate links. As an Amazon Associate I earn from qualifying purchases.
…way is to read the theory, after all the lambda-calculus as a calculus is incredibly simple, and you can hand-wave away the problems of bound-variable renaming. A slow-paced textbook like Hankin's "An Introduction to Lambda Calculi for Computer Scientists", and doing the exercises in the first few chapters should do the job.
on “A Path to Enlightenment in Programming Language Theory” ↗I found the book "An Introduction to Lambda Calculi for Computer Scientists"[1] to be a good intro to these concepts. For those who want to go further, books by Henk Barendregt[2] are widely considered to be a reference to lambda-calculus and combinators. Fresh out of college…
on “Fun with Combinators” ↗