projects / lambda.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 114bb41)
(no commit message)
authorchris <chris@web>
Thu, 26 Feb 2015 18:42:15 +0000 (13:42 -0500)
committerLinux User <ikiwiki@localhost.members.linode.com>
Thu, 26 Feb 2015 18:42:15 +0000 (13:42 -0500)
topics/_week5_system_F.mdwn patch | blob | history

diff --git a/topics/_week5_system_F.mdwn b/topics/_week5_system_F.mdwn
index 24f0dad..76725d6 100644 (file)
--- a/topics/_week5_system_F.mdwn
+++ b/topics/_week5_system_F.mdwn
@@ -259,7 +259,7 @@ Hendriks' 1992:74 dissertation, generalized coordination is
 implemented as a method for generating a suitable set of translation
 rules, which are in turn expressed in a simply-typed grammar.
 
 implemented as a method for generating a suitable set of translation
 rules, which are in turn expressed in a simply-typed grammar.
 
-There is some work using System F to express generalization about
+There is some work using System F to express generalizations about
 natural language: Ponvert, Elias. 2005. Polymorphism in English Logical
 Grammar. In *Lambda Calculus Type Theory and Natural Language*: 47--60.
 
 natural language: Ponvert, Elias. 2005. Polymorphism in English Logical
 Grammar. In *Lambda Calculus Type Theory and Natural Language*: 47--60.
 
NYU Lambda Wiki v2