September 22, 1999 | Perl and the Lambda Calculus | Slide #8 |

Suppose

*p*and*q*are functions(p q)

*applies**p*to*q*That means function

*p*is invoked with*q*as its argumentResult of applying

*x*.*E*to*q*:

Substitute `q` into `E` in place of `x`

Next | Copyright © 1999 M-J. Dominus |