@@ -59,8+59,9 @@ 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.