September 22, 1999

Perl and the Lambda Calculus

Slide #7

Abstraction

x.E

denotes the function whose argument is x

and whose body is E

Note: only one argument!