Lambda calculus
In Lambda calculus, the concept of an if-then-else conditional can be expressed using the expressions: