Lambda Calc

formal system
mathematical logic
Turing machine
Variable
Abstraction
β-reduction
currying
operational definition
Alpha equivalence
Beta reduction
η-conversion
Normal
forms
Pairs
Recursion
fixed poi...