Abstraction Again

• In x.E what is allowed in E?

• Expressions are made of:

• Abstractions y.F

• Applications (G H)

• Variables z

• That is all

• You now know everything

• You can go home now