Application

• Suppose p and q are functions

• (p q) applies p to q

• That means function p is invoked with q as its argument

• Result of applying x.E to q:

Substitute q into E in place of x