a formal computational model for function definition, function application, and recursion
a formal computational model for function definition, function application, and recursion
a model of computation using functions