[EMAIL PROTECTED] wrote:
McCarthy never intended his lambda calculus to be a programming language.

A. Church was the one who developed lambda calculus.  Unless you
are using the term loosely to refer to any language that is like Church's
theoretical model.

Urk ... quite correct.  McCarthy was looking at recursive function theory.

My bad.

-a

--
[email protected]
http://www.kernel-panic.org/cgi-bin/mailman/listinfo/kplug-lpsg

Reply via email to