I believe Algol 60 had downward-funarg-only lexical scoping, whereby if you return a function with a captured environment, the coach turns into a pumpkin (unless it is somehow disallowed).

Lambda Calculus specifies the real deal; functions can calculate functions.