Hi,
Can someone please tell me what is the root of the name lambda calculus? Is it just because of the symbol lambda that is used?
Why not alpha or beta calculus?
Regards,
Kashyap