; Lambda calculus: A computation consists of an initial lambda expression ( or two if you want to separate the function and its input ) plus a finite sequence of lambda terms, each deduced from the preceding term by one application of Beta reduction.

; lambda calculus: A computation consists of an initial lambda expression ( or two if you want to separate the function and its input ) plus a finite sequence of lambda terms, each deduced from the preceding term by one application of Beta reduction.

0.004 seconds.