Lambda-Calculus

• You have variables, like x

• Only two operations

• Abstraction

• Application

Next

Copyright © 1999 M-J. Dominus