From: Jim Pryor Date: Tue, 24 Aug 2010 00:34:53 +0000 (-0400) Subject: schedule tweaks X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=a747364debb7e1e2349d8d33b1ac0b369b0bdb9f schedule tweaks Signed-off-by: Jim Pryor --- diff --git a/schedule_of_topics.mdwn b/schedule_of_topics.mdwn index ca49980b..3d704bae 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