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 i8U08Ago023635 for <kfoury@cs3.bu.edu>; Wed, 29 Sep 2004 20:08:10 -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 i8U0889o026108 for <kfoury@cs.bu.edu>; Wed, 29 Sep 2004 20:08:10 -0400 (EDT) Message-Id: <200409300008.i8U0889o026108@cs.bu.edu> Date: Wed, 29 Sep 2004 20:10:48 -0500 From: "Quan Yuan" <yq@cs.bu.edu> To: "Assaf J. Kfoury" <kfoury@cs.bu.edu> Subject: renaming X-mailer: Foxmail 5.0 [en] Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Spam-HitLevel: xx X-Spam-DCC: dcc.uncw.edu: cs3.bu.edu 1201; Body=1 Fuz1=1 Fuz2=1 X-Spam-Checker-Version: SpamAssassin 2.64 (2004-01-11) on cs3.bu.edu X-Spam-Level: ** X-Spam-Status: No, hits=2.4 required=10.0 tests=AWL,MSGID_FROM_MTA_BACKUP autolearn=no version=2.64 X-Spam-Pyzor: Reported 0 times. Status: RO X-Mozilla-Status: 8001 X-Mozilla-Status2: 00000000 X-UIDL: 411f69ec00000dc8
Professor,
For the implementation part of this assignment,
1. Do we just report error and exit when there are unbounded variables, like the implementation by Piece?
2. When we have a command like " \lambda y. (\lambda y. \lambda x. yx) y",
do we need to rename the y inside the paranthese? It seems we can use this term
in an application without variable capturing as long as there is no unbounded variables.
according to the substitution rules on top of [Piece, page 71],
(\lambda y. (\lambda y. \lambda x. yx) y) (\lambda w.w)
=> (\lambda y. \lambda x. yx) (\lambda w.w)
=> \lambda x. (\lambda w. w) x
Thanks,
Quan
This archive was generated by hypermail 2b29 : Fri Nov 19 2004 - 17:00:43 EST