Lecture
Lambda Calculus: Operational Semantics and Evaluation Strategies
Description
This lecture covers operational semantics and evaluation strategies in lambda calculus. It explains computation rules, redex, alternative evaluation strategies, classical lambda calculus, full beta reduction, substitution, alpha conversion, multiple arguments, programming in lambda calculus, confluence, Church Booleans, and functions on Booleans.
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.