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
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.
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.