Re: question of Problem 5

From: Hany Morcos (hmorcos@cs.bu.edu)
Date: Fri Sep 24 2004 - 13:03:11 EDT 

Return-Path: <hmorcos@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 i8OH3Iqr016702; Fri, 24 Sep 2004 13:03:18 -0400
Received: from hmorcos (cs-dhcp1 [128.197.10.160]) by cs.bu.edu (8.12.2/8.12.2) with SMTP id i8OH3G8q024655; Fri, 24 Sep 2004 13:03:18 -0400 (EDT)
Message-ID: <008201c4a258$626bf300$a00ac580@hmorcos>
From: "Hany Morcos" <hmorcos@cs.bu.edu>
To: "Quan Yuan" <yq@cs.bu.edu>, <cs520@cs.bu.edu>
References: <200409241649.i8OGnY8q022151@cs.bu.edu>
Subject: Re: question of Problem 5
Date: Fri, 24 Sep 2004 13:03:11 -0400
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 6.00.2800.1437
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1441
X-Spam-HitLevel: 
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=0.5 required=10.0 tests=AWL,MAILTO_TO_SPAM_ADDR  autolearn=no version=2.64
X-Spam-Pyzor: Reported 0 times.
Status:   
X-Mozilla-Status: 8011
X-Mozilla-Status2: 00000000
X-UIDL: 411f69ec00000bd3

I think you are right, it doesn't.

----- Original Message -----
From: "Quan Yuan" <yq@cs.bu.edu>
To: <cs520@cs.bu.edu>
Sent: Friday, September 24, 2004 12:52 PM
Subject: question of Problem 5

> 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