Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Lecture
Lambda Calculus: Church Numerals
Description
This lecture covers the concept of Church numerals in Lambda Calculus, where numbers are represented by functions that repeat actions a certain number of times. It explains the functions on Booleans, pairs, and recursion in Lambda Calculus. The lecture delves into the operational semantics, behavioral equivalence, and structural induction on terms, providing examples and proofs to illustrate these concepts.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.