From 8784ab8499ddda543518f6a46b112fba3ff7d3b5 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Mon, 23 Aug 2010 18:34:22 -0400 Subject: [PATCH] added some application reminders Signed-off-by: Jim Pryor --- schedule_of_topics.mdwn | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) 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 ## -- 2.11.0