WikiDiscuss

WikiDiscuss


BPFK Section: Grammatical Pro-sumti

Re: BPFK Section: Grammatical Pro-sumti
The definition of {ce'u} suggests that it is syntactically like a quantifier, rather than like a quantifier-bound-variable all in one. Now, it *ought* to function like a quantifier and take a bound vriable, but it does not. This creates problems for cases where more than one place is to be bound in the same way and also misleads about structure. On the other hand, the real lambda format is painfully lengthy (see LISP). Some compromise would be nice.