typo

[lambda.git] / schedule_of_topics.mdwn

diff --git a/schedule_of_topics.mdwn b/schedule_of_topics.mdwn
index eda1a1d..d4c94db 100644 (file)
--- a/schedule_of_topics.mdwn
+++ b/schedule_of_topics.mdwn
@@ -59,8 +59,14 @@ This is very sketchy at this point, but it should give a sense of our intended s
 
 15.    The types of continuations; continuations as first-class values
 16.    [Phil/ling application] Partee on whether NPs should be uniformly interpreted as generalized quantifiers, or instead "lifted" when necessary. Lifting = a CPS transform.
+17.    [Phil/ling application] Expletives
 
-17.    Dependent types
+18.    Misc references: Chris?
+       *       de Groeten on lambda-mu and linguistics?
+       *       on donkey anaphora and continuations
+       *       Wadler on symmetric sequent calculi
+
+19.    Dependent types
 
 ## Side-effects and mutation ##