The Calculi of Lambda-Conversion, presented by Nandu Shah

Alonzo Church’s The Calculi of Lambda-Conversion is one of the foundational works of computer science, suggesting that any computation can be expressed with just three primitives: variables, function definition, and function application. The ideas in this work have echoed through the modern world for nearly 80 years and continue to hide in plain sight. (Have you ever wondered why AWS calls its serverless functions Lambdas?) This talk is one part deep dive, one part memoir, and one part fireside chat with special guest Alonzo Church III, who will share stories about his grandfather and offer glimpses of the man behind the mathematics.