Lambda Calculus – Studying Note

The Lambda Calculus has only one features:
Function

More precisely, only thing you can do is:

  • Define a function
  • Call a function
Describing a Programming Language
  • Syntax: what do programs look like?
  • Semantics: what do programs mean?
Syntax: What Programs Look Like

Some Examples:

For above examples, they are:

  1. function(x) {return x}
  2. function(x) {return function(y) {return y}}

Leave a Reply