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

For notational convenience with curried functions, we allow

*x*y.*E*

as an abbreviation for

*x*.*y*.*E*

Example:

(*x*y.(*x* (*x* *y*)) *P* *Q*)

(*y*.(*P* (*P* *y*)) *Q*)

(*P* (*P* *Q*))

Next | Copyright © 1999 M-J. Dominus |