X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=content.mdwn;h=9f8a5bf80583a3d09e51c9873e7dbf09e468c9ff;hb=b0efc6e28fa824ff4de6974ff680008dd98fe571;hp=28b122c36f37af0aba470ec77a4af1da431d2c78;hpb=e4e5cb2693460be272dfaf74d53f48b3a687ef62;p=lambda.git diff --git a/content.mdwn b/content.mdwn index 28b122c3..9f8a5bf8 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"