/sci/ - Science & Math

>>8100972
Yes, that's what the lambda calculus does: arguments for function become literally bound. by lambdas

Introducing the function
f(n):=(n+1)^2
requires you to give it a name.
The corresponding lambda term is
[math] \lambda n.\, (n+1)^2 [/math]
and see the Haskell implementation in the next pic related.

See also
https://en.wikipedia.org/wiki/Brouwer%E2%80%93Heyting%E2%80%93Kolmogorov_interpretation