Signed-off-by: Jim Pryor <profjim@jimpryor.net>
1. Beta reduction
2. Substitution; using alpha-conversion and other strategies
1. Beta reduction
2. Substitution; using alpha-conversion and other strategies
-3. Conversion versus Reduction
+3. Conversion versus reduction
4. Eta reduction and "extensionality"
5. Different evaluation strategies (call by name, call by value, etc.)
6. Strongly normalizing vs weakly normalizing vs non-normalizing; Church-Rosser Theorem(s)
4. Eta reduction and "extensionality"
5. Different evaluation strategies (call by name, call by value, etc.)
6. Strongly normalizing vs weakly normalizing vs non-normalizing; Church-Rosser Theorem(s)
+6. Lambda calculus compared to combinatorial logic
7. Encoding pairs (and triples and ...)
8. Encoding booleans
7. Encoding pairs (and triples and ...)
8. Encoding booleans