Getting into Lambda Calculus
I first heard about Lambda Calculus in a Computerphile video. I thought it was a neat & weird bit of math. I remember I especially liked composing booleans and logic using only lambda expressions or whatever those functions are called.
That was about half a year ago.
How I got into λs again is through LISP. I was filled with joy when I recreated the boolean logic from a while ago in Scheme:
(define T (λ (x y) x)) (define F (λ (x y) y)) (define NOT (λ (x) (x F T))) (define AND (λ (x y) (x y F))) (define OR (λ (x y) (x T b)))
I made this post because I tought I should post the resources I found about this topic as they may prove useful for others. Here we go:
- Introduction to Lambda Calculus by Henk Barendregt and Erik Barendsen.
- A short introduction to the Lambda Calculus by Achim Jung
- Lecture Notes on the Lambda Calculus by Peter Selinger
- Chapter 5: THE LAMBDA CALCULUS from the University of Iowa