From sentto-44114-21207-1068850482-lojban-in=lojban.org@returns.groups.yahoo.com Fri Nov 14 14:54:33 2003 Received: with ECARTIS (v1.0.0; list lojban-list); Fri, 14 Nov 2003 14:54:33 -0800 (PST) Received: from n38.grp.scd.yahoo.com ([66.218.66.106]) by chain.digitalkingdom.org with smtp (Exim 4.22) id 1AKmpg-00030G-88 for lojban-in@lojban.org; Fri, 14 Nov 2003 14:54:28 -0800 X-eGroups-Return: sentto-44114-21207-1068850482-lojban-in=lojban.org@returns.groups.yahoo.com Received: from [66.218.66.158] by n38.grp.scd.yahoo.com with NNFMP; 14 Nov 2003 22:54:46 -0000 X-Sender: jjllambias2000@yahoo.com.ar X-Apparently-To: lojban@yahoogroups.com Received: (qmail 26825 invoked from network); 14 Nov 2003 22:54:36 -0000 Received: from unknown (66.218.66.218) by m18.grp.scd.yahoo.com with QMQP; 14 Nov 2003 22:54:36 -0000 Received: from unknown (HELO web41902.mail.yahoo.com) (66.218.93.153) by mta3.grp.scd.yahoo.com with SMTP; 14 Nov 2003 22:54:36 -0000 Message-ID: <20031114225436.57966.qmail@web41902.mail.yahoo.com> Received: from [200.69.6.30] by web41902.mail.yahoo.com via HTTP; Fri, 14 Nov 2003 14:54:36 PST To: lojban@yahoogroups.com In-Reply-To: <20031114222722.GO5394@skunk.reutershealth.com> From: Jorge "Llambías" X-Originating-IP: 66.218.93.153 X-Yahoo-Profile: jjllambias2000 MIME-Version: 1.0 Mailing-List: list lojban@yahoogroups.com; contact lojban-owner@yahoogroups.com Delivered-To: mailing list lojban@yahoogroups.com Precedence: bulk Date: Fri, 14 Nov 2003 14:54:36 -0800 (PST) Subject: [lojban] Re: COI, UI (was Re: cfari) Content-Type: text/plain; charset=us-ascii X-archive-position: 6704 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: jjllambias2000@yahoo.com.ar Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list --- John Cowan wrote: > Jorge Llamb��)B�as scripsit: > > > 2- I'm not very clear about the x1 of fancu, much less on what > > jai extracts from it. > > The x1 of fancu is the abstract function, whereas x4 is the lambda-expresion > (or equivalent) that specifies it. Shouldn't those two be interreplaceable? What other gismu places are like the x1 of fancu and what other places are like the x4? Or are they sui generis? Is the x2 of sumti like the x1 of fancu, like the x4, or something else? mu'o mi'e xorxes __________________________________ Do you Yahoo!? Protect your identity with Yahoo! Mail AddressGuard http://antispam.yahoo.com/whatsnewfree ------------------------ Yahoo! Groups Sponsor ---------------------~--> Buy Ink Cartridges or Refill Kits for your HP, Epson, Canon or Lexmark Printer at MyInks.com. Free s/h on orders $50 or more to the US & Canada. http://www.c1tracking.com/l.asp?cid=5511 http://us.click.yahoo.com/mOAaAA/3exGAA/qnsNAA/GSaulB/TM ---------------------------------------------------------------------~-> To unsubscribe, send mail to lojban-unsubscribe@onelist.com Your use of Yahoo! Groups is subject to http://docs.yahoo.com/info/terms/