post King readings, reorganize
[lambda.git] / content.mdwn
index 28b122c..9f8a5bf 100644 (file)
@@ -98,3 +98,9 @@ Week 5:
 *   Types in OCaml and Haskell (will be posted soon)
 *   Practical advice for working with OCaml and/or Haskell (will be posted soon)
 *   [[Homework for weeks 5 and 6|exercises/assignment5]]
+
+Outside readings for week 6:
+
+*   [[footnote|readings/kaplan-plexy.pdf]] from Kaplan's *Demonstratives* about "Plexy"
+*   Michael Rieppel, "[[Being Something: Properties and Predicative Quantification|readings/rieppel-beingsthg.pdf]]"
+*   Optional: Jeff King, from *The Nature and Structure of Content*, on the difference between clausal complements and "the proposition that P", "the fact that P"