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 ##