Its really just a practical application of the lambda calculus. Making it a different model of computation proven to be equivalent in power to the turing model.

Its really just a practical application of the lambda calculus. Making it a different model of computation proven to be equivalent in power to the turing model. Its requirements are to have functions of input variables to output variables, where variables can be functions themselves. And the ability to apply functions to values. It contrast the turing model, which says instead that you have infinite variables that can be uniquely accessed. And a set of instructions which can read the values of variables at a given location, transform it, and write it back at a given location.