BPFK Section: Grammatical Pro-sumti
Robin Lee Powell scripsit:
> Ummm, any expression with lambda(x) in the lambda calculus is a
> function, is it not?
Yes.
> And every abstraction clause that's not in a poi has one or more elided
> ce'u, does it not?
Not that I can see. I think you are confusing ce'u and ke'a.
--
What asininity could I have uttered John Cowan <jcowan@reutershealth.com>
that they applaud me thus? http://www.reutershealth.com
--Phocion, Greek orator http://www.ccil.org/~cowan