top
|
next
What you will learn
This lecture will try to give you:
the ability to recognize lambda terms when you see them
the ability to reduce lambda terms using pencil and paper