(no commit message)

[lambda.git] / topics / _week5_system_F.mdwn

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.
 
-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.