A model for computability, created by AlonzoChurch in the 1930's. The basic premise is that all that is needed to represent the computable is the concept of function and function application. Even arithmetic can be represented with this.
A model for computability, created by AlonzoChurch in the 1930's. The basic premise is that all that is needed to represent the computable is the concept of function and function application. Even arithmetic can be represented with this.
LambdaCalculus (last edited 2008-07-09 05:47:48 by localhost)