From 3af99fcb0e8ee0724d5fdb7bd7c30155d4bc6e78 Mon Sep 17 00:00:00 2001 From: chris Date: Thu, 26 Feb 2015 13:42:15 -0500 Subject: [PATCH] --- topics/_week5_system_F.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/topics/_week5_system_F.mdwn b/topics/_week5_system_F.mdwn index 24f0dad0..76725d65 100644 --- 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. -- 2.11.0