From: Jim Pryor <profjim@jimpryor.net>
Date: Mon, 23 Aug 2010 22:34:22 +0000 (-0400)
Subject: added some application reminders
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=8784ab8499ddda543518f6a46b112fba3ff7d3b5

added some application reminders

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
---

diff --git a/schedule_of_topics.mdwn b/schedule_of_topics.mdwn
index 11d32941..d4c94db2 100644
--- a/schedule_of_topics.mdwn
+++ b/schedule_of_topics.mdwn
@@ -61,7 +61,12 @@ This is very sketchy at this point, but it should give a sense of our intended s
 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
 
-18.	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 ##