> I understand that lambda calculus works with expressions and symbols, while standard function notation works with functions and values There's no inherent co

> I understand that lambda calculus works with expressions and symbols, while standard function notation works with functions and values There's no inherent connection. You're perfectly free to interpret lambda terms as functions on a domain, or function definitions as abstract rewrite rules.