X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=schedule_of_topics.mdwn;h=d4c94db25ce5d820a289e2cc4d471b0c971a8dcf;hp=eda1a1da6999aee2698ba4060e586ece8adad737;hb=f5c65211617c8e04e87d3009f220f6457a76e9ff;hpb=f07962f345d98c6de6c0d7e044573253014cf631

diff --git a/schedule_of_topics.mdwn b/schedule_of_topics.mdwn
index eda1a1da..d4c94db2 100644
--- 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 ##