question of Problem 5

From: Quan Yuan (yq@cs.bu.edu)
Date: Fri Sep 24 2004 - 12:52:30 EDT 

Return-Path: <yq@cs.bu.edu>
Received: from cs.bu.edu (cs [128.197.12.2]) by cs3.bu.edu (8.12.11/8.12.11) with ESMTP id i8OGnZx7013690; Fri, 24 Sep 2004 12:49:35 -0400
Received: from JELLYFISH (cumm111-0b01-dhcp167.bu.edu [128.197.11.167]) (authenticated bits=0) by cs.bu.edu (8.12.2/8.12.2) with ESMTP id i8OGnY8q022151 for <cs520@cs.bu.edu>; Fri, 24 Sep 2004 12:49:35 -0400 (EDT)
Message-Id: <200409241649.i8OGnY8q022151@cs.bu.edu>
Date: Fri, 24 Sep 2004 12:52:30 -0400
From: "Quan Yuan" <yq@cs.bu.edu>
To: "cs520@cs.bu.edu" <cs520@cs.bu.edu>
Subject: question of Problem 5
X-mailer: Foxmail 5.0 [en]
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
X-Spam-HitLevel: xxx
X-Spam-DCC: Misty: cs3.bu.edu 1170; Body=19 Fuz1=19 Fuz2=19
X-Spam-Checker-Version: SpamAssassin 2.64 (2004-01-11) on cs3.bu.edu
X-Spam-Level: ***
X-Spam-Status: No, hits=3.0 required=10.0 tests=AWL,MSGID_FROM_MTA_BACKUP, TO_ADDRESS_EQ_REAL autolearn=no version=2.64
X-Spam-Pyzor: Reported 0 times.
Status:   
X-Mozilla-Status: 8001
X-Mozilla-Status2: 00000000
X-UIDL: 411f69ec00000bd1

Can anyone tell me
For 5.3.8, If at the end of evaluation we get a term like x \lambda y. z, it doesn't have to be evaluated to "wrong". Is that correct?
Thanks,

Quan

This archive was generated by hypermail 2b29 : Fri Nov 19 2004 - 17:00:43 EST