From bd928298967f547445041ad28e8b87be29c60ac1 Mon Sep 17 00:00:00 2001 From: chris Date: Mon, 23 Feb 2015 13:04:57 -0500 Subject: [PATCH 1/1] --- topics/_week5_simply_typed_lambda.mdwn | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/topics/_week5_simply_typed_lambda.mdwn b/topics/_week5_simply_typed_lambda.mdwn index e15a34d8..047ee8b3 100644 --- a/topics/_week5_simply_typed_lambda.mdwn +++ b/topics/_week5_simply_typed_lambda.mdwn @@ -302,8 +302,7 @@ functional application and for lambda abstracts: * If *α* is an expression of type **, and *β* is an expression of type b, then *α(β)* has type *b*. -* If α* is an expression of type *a*, and *u* is a variable of -*type b*, then *λuα* has type . +* If *α* is an expression of type *a*, and *u* is a variable of type *b*, then *λuα* has type . When we talk about monads, we will consider Montague's treatment of intensionality in some detail. In the meantime, Montague's PTQ is -- 2.11.0