Lambda Calculus
Overview
Terms
- Variables - a list of variables is pre-specified (such as {x_1,x_2,...x_n}). EAch variable is a term
- if M and N are terms, then (MN) is a term
- if M is a term and x is a variable, then {% \lambda x.M %} is a term
Reduction
