update for rename of exercises/assignment7.mdwn to exercises/assignment6-7.mdwn
[lambda.git] / _applications.mdwn
index 37d06d2..339a662 100644 (file)
@@ -9,7 +9,7 @@ We mentioned a number of linguistic and philosophical applications of the tools
 From linguistics
 ----------------
 
-*       Generalized quantifiers are a special case of operating on continuations.  [[!wikipedia Richard_Montague]] analyzed all NPs, including, e.g., proper names, as sets of properties. 
+*       Generalized quantifiers are a special case of operating on continuations.  [[!wikipedia Richard_Montague]] analyzed all NPs, including, e.g., proper names, as sets of properties.
  This gives names and quantificational NPs the same semantic type, which explain why we can coordinate them (*John and everyone*, *Mary or some graduate student*).  So instead of thinking of a name as refering to an individual, which then serves as the argument to a verb phrase, in the Generalized Quantifier conception, the name denotes a higher-order function that takes the verb phrase (its continuation) as an argument.  Montague only continuized
 one syntactic category (NPs), but a more systematic approach would continuize uniformly throughout the grammar.
 See [a paper by me (CB)](http://dx.doi.org/10.1023/A:1022183511876) for detailed discussion.
@@ -21,7 +21,7 @@ See [a paper by me (CB)](http://dx.doi.org/10.1023/A:1022183511876) for detailed
 *       Anaphora, as in *Everyone's mother loves him* (which says that for every person x, x's mother loves x).  [A paper by CB and Chung-chieh Shan](http://dx.doi.org/10.1007/s10988-005-6580-7) discusses an implementation in terms of delimited continuations.  See also a different implementation in work of [Philippe de Groote](http://ecommons.library.cornell.edu/bitstream/1813/7577/4/salt16_degroote_1_16.pdf).
 
 *      As suggested in class, it is possible to think of the side effects of expressives such as *damn* in *John read the damn book* in terms of control operators such as call/cc in Scheme.
-At the end of the seminar we gave a demonstration of modeling [[damn]] using continuations...see the [summary](/damn) for more explanation and elaboration.  In the meantime, you can read a new paper about this idea [here](http://tinyurl.com/cbarker/barker-bernardi-shan-interaction.pdf)---comments welcome. 
+At the end of the seminar we gave a demonstration of modeling [[damn]] using continuations...see the [summary](/damn) for more explanation and elaboration.  In the meantime, you can read a new paper about this idea [here](http://tinyurl.com/cbarker/barker-bernardi-shan-interaction.pdf)---comments welcome.
 
 From philosophy
 ---------------