Module
Lambda Calculus and Evaluation
Sign in to add this module to your path and practice.
About
Untyped lambda calculus, free/bound vars, substitution, beta-reduction, Church encodings intuition, and call-by-name/value/need.
Goal
Perform reductions, identify normal forms, and relate lambda terms to functional language cores.
Unlocks
Tutor
Ask questions about this module.
Hi — I'm your tutor for Lambda Calculus and Evaluation. Ask about the concepts, goal, or where you're stuck.