The situation is even worse with lambda calculus. Lambda calculus should have been named function theory, but that term was already used by an interesting part of analysis, that should have been named complex analysis.
I don't know why you think that; it's really, really important that lambda terms are not functions. Bertrand Russell would explode if I tried to write f(f) for any function f.
