X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=content.mdwn;h=15b4de65b6526de48c040f0b0e05858c8d9c95c7;hp=28b122c36f37af0aba470ec77a4af1da431d2c78;hb=2077a712e2644b8742ebf445803ab0d5cf95b7b8;hpb=477cb055e6dd5d8d3faaf84032fd15b068f8dfde diff --git a/content.mdwn b/content.mdwn index 28b122c3..15b4de65 100644 --- a/content.mdwn +++ b/content.mdwn @@ -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"