From lojbab Thu Nov 17 15:12:16 1994
From: Logical Language Group <lojbab>
Message-Id: <199411172012.AA07926@access2.digex.net>
Subject: Re: PROPOSAL Lambda...
Date: Thu, 17 Nov 1994 15:12:03 -0500 (EST)
Cc: lojbab@access.digex.net (Logical Language Group)
In-Reply-To: <199411170709.AA08188@nfs1.digex.net> from "Gerald Koenig" at Nov 16, 94 11:05:26 pm
X-Mailer: ELM [version 2.4 PL24beta]
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Content-Length:        765
Status: RO

la djer. cusku di'e

> Some questions from a lambda lamb:
> 
> 1. Can "le ka xa'eda mamta " be rendered as
>         a) the (in mind) property of motherhood  or

Yes.

>         b) the (in mind) property of being the class of all beings that
>         constitute values for the x1 of mamta?

No, I think that is "le ka [xa'eda] du lo'i mamta".  "the class of all ..."
points to "lo'i", and "the property of being ... " is "le ka du".

> 3. Would you point to some basic references on lambda notation?

I learned wat I know about it from reading books on Lisp, which is probably
overkill for your purposes, but Winston & Horn is pretty good on Lisp.
Otherwise, ask pc??

-- 
John Cowan		sharing account <lojbab@access.digex.net> for now
		e'osai ko sarji la lojban.