lambda calculus

#concept

lambda calculus >> A formal system in mathematical logic based on function abstraction and application using variable binding and substitution. It is a universal model of computation that can be used to simulate any Turing machine.

References §

1. https://en.wikipedia.org/wiki/Lambda_calculus

Notes §