>>9
Lexical scoping and block structure was introduced to the programming world by Algol, though surely based on the abstract words of mathematics such as the one you cite. It is said so by one of the creators of Scheme, in http://mitpress.mit.edu/sicp/full-text/book/book-Z-H-10.html#%_idx_628.