Search results
Hace 8 horas · Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution.It is a universal model of computation that can be used to simulate a Turing machine.It was introduced by the mathematician Alonzo Church in the 1930s as part of his research into the foundations ...
