presentation owned by
What you will learn
When are two rhyme schemes the same?
Back to text substitutions
The cubic formula macros.
An example of a reduction rule.
How would you reduce macros with parameters?
Lambda calculus is about ANONYMOUS functions.
Equivalent up to renaming of bound variables
Reducing lambda terms