You can learn the lambda calculus in a few hours. If you read just the first page of the linked paper and work through a few examples, you will likely already

You can learn the lambda calculus in a few hours. If you read just the first page of the linked paper and work through a few examples, you will likely already know enough about it to read the book. It's really just like equational reasoning in mathematics.