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