Lambda Calculus

• (?m.(?n.n times n)(m plus two))(one)

• (?m. ?n.(m plus m) times n)(one)(three)

• (?m.?n.n + n)(m)

• (?p.?q.p + q) r+1

• Abstraction

• Bound Variables

• Free Variables

• Renaming Variables

Previous slide

Next slide

Back to first slide

View graphic version