Yan Couto’s Reviews > The Lambda Calculus: Its Syntax and Semantics > Status Update

Super cool and hard to grasp the recursiveness. I skipped a couple chapters to get to the part I liked the most, the book is very dense.