Return-Path: <kfoury@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 i8NIfwLG011013; Thu, 23 Sep 2004 14:41:58 -0400 Received: from cs.bu.edu (kfoury@fiddle [128.197.10.114]) (authenticated bits=0) by cs.bu.edu (8.12.2/8.12.2) with ESMTP id i8NIfwPM007409; Thu, 23 Sep 2004 14:41:58 -0400 (EDT) Sender: kfoury@cs.bu.edu Message-ID: <415318F3.9C17DFD1@cs.bu.edu> Date: Thu, 23 Sep 2004 14:41:55 -0400 From: "Assaf J. Kfoury" <kfoury@cs.bu.edu> Organization: Boston University X-Mailer: Mozilla 4.78 [en] (X11; U; SunOS 5.8 sun4u) X-Accept-Language: en To: Hany Morcos <hmorcos@cs.bu.edu>, cs520@cs.bu.edu Subject: Re: closed terms References: <Pine.SOL.4.20.0409231342580.13319-100000@csa.bu.edu> <41530D6F.6BC0033D@cs.bu.edu> <002601c4a199$261057d0$a00ac580@hmorcos> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Spam-HitLevel: X-Spam-DCC: sonic.net: cs3.bu.edu 1156; 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.0 required=10.0 tests=none autolearn=ham version=2.64 X-Spam-Pyzor: Reported 0 times. Status: X-Mozilla-Status: 8011 X-Mozilla-Status2: 00000000 X-UIDL: 411f69ec00000b7a
Look it up in the book index, which refers to page 55,
where it says "a term with no free variables is said
to be closed". OK?
Assaf
Hany Morcos wrote:
> Dr. Kfoury,
>
> I know this may sound a bit stupid, but what do you mean by closed terms in
> the first question of the homework ?
>
> Thanks,
> Hany
This archive was generated by hypermail 2b29 : Fri Nov 19 2004 - 17:00:43 EST