Definition
Lambda Expression
An expression is either a variable, a composed expression or an abstraction:
Properties
Left-associative
Examples
Implication
We’re using the following Boolean representations:
Based on these, we can to construct a lambda term
which represents an implication. Trivially, implications can be represented as: Therefore, we can write
as: Usages: