From 7dfd6af263c93eb7059b4c8aeae5dbe930d8c634 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Mon, 23 Aug 2010 20:34:53 -0400 Subject: [PATCH] schedule tweaks Signed-off-by: Jim Pryor --- schedule_of_topics.mdwn | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/schedule_of_topics.mdwn b/schedule_of_topics.mdwn index fad5256c..52455c5e 100644 --- a/schedule_of_topics.mdwn +++ b/schedule_of_topics.mdwn @@ -14,10 +14,11 @@ This is very sketchy at this point, but it should give a sense of our intended s 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) +6. Lambda calculus compared to combinatorial logic 7. Encoding pairs (and triples and ...) 8. Encoding booleans -- 2.11.0