Re: question of Problem 5

From: Kanishka Gupta (kanishka@cs.bu.edu)
Date: Fri Sep 24 2004 - 13:36:00 EDT


Return-Path: <kanishka@cs.bu.edu>
Received: from csa.bu.edu (csa [128.197.12.3]) by cs3.bu.edu (8.12.11/8.12.11) with ESMTP id i8OHa1Y8023707; Fri, 24 Sep 2004 13:36:01 -0400
Received: from localhost (kanishka@localhost) by csa.bu.edu (8.10.1/8.10.1) with ESMTP id i8OHa0g18010; Fri, 24 Sep 2004 13:36:00 -0400 (EDT)
X-Authentication-Warning: csa.bu.edu: kanishka owned process doing -bs
Date: Fri, 24 Sep 2004 13:36:00 -0400 (EDT)
From: Kanishka Gupta <kanishka@cs.bu.edu>
X-Sender: kanishka@csa.bu.edu
To: Hany Morcos <hmorcos@cs.bu.edu>
cc: Quan Yuan <yq@cs.bu.edu>, cs520@cs.bu.edu
Subject: Re: question of Problem 5
In-Reply-To: <008201c4a258$626bf300$a00ac580@hmorcos>
Message-ID: <Pine.SOL.4.20.0409241334500.17712-100000@csa.bu.edu>
Content-Type: TEXT/PLAIN; charset=US-ASCII
X-Spam-HitLevel: 
X-Spam-DCC: Misty: cs3.bu.edu 1170; Body=2 Fuz1=2 Fuz2=2
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: 411f69ec00000bd5

Problem 5 is Excercise 5.3.7, NOT 5.3.8.

--
Kanishka

On Fri, 24 Sep 2004, Hany Morcos wrote:

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

---------- Kanishka



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