Chapter 14: Lambda Calculus

All the previous models have assumed that computation is defined in an imperative fashion; each step is choreographed in a precise order with the next. Lambda calculus is the first of a more declarative set of models where this is not the case. In a declarative model the problem to be solved is defi... View More