done
|
next
Lambda Calculus
a
WimpyPoint
presentation owned by
Johnicholas Hines
What you will learn
Text Substitutions
Rhyme Schemes
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
Homework
change style