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:
- function(x) {return x}
- function(x) {return function(y) {return y}}