lambda calculus is one of my favourite math things. truly wonderful how neat it is
4
11
149
Conversation
Any suggestions for getting into it? lambda calculus has always given me this very fuzzy warm feeling when I see it written out.
2
2
Getting one’s hands dirty with a lambda calculus evaluator is good, as is learning type theory more generally! The first chapter of the HoTT book is a bit intense but not bad for this
3
5
Have you tried normalisation-by-evaluation yet? it's really good! 🤩
thirded
1