Suggestions on resources to learn "pure" lambda calculus? The only resources I see on YouTube (for instance) are tech talks on how to implement it in various programming languages, but I'd like to learn about it detached from a particular implementation.
@emsenn @acciomath Bret Victor did a thing with alligator eggs: http://worrydream.com/AlligatorEggs/ but I learned it (more or less) by implementing it in Perl and then trying to understand how the Y-combinator worked. Raymond Smullyan wrote To Mock a Mockingbird, about the closely-related topic of conbinatory logic. Surely there's an OpenCourseWare syllabus or something that covers the λ-calculus in a pure sense?
@acciomath I would just read the Wikipedia article and look at the further reading, e.g. "Introduction to Lambda Calculus" by Barendregt seems like a fine resource
A Mastodon instance for maths people. The kind of people who make \(\pi z^2 \times a\) jokes.
\) for inline LaTeX, and
\] for display mode.