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 implementation of recursive functions using substitutions and environments, including handling recursive function definitions, evaluation based on substitution, and the concept of substitution. The interpreter is demonstrated with examples like factorial and division, showcasing the ability to execute computable functions and encode data structures.