Next: Application of basic logical
Up: The IF- Abstraction
The body of this lambda abstraction is just a synthesis of the
selector with its two arguments, the two blocks of code from which
Because there are only two possibilities to perform a selection
we distinguish between two selectors:
- The selector which selects the first argument we assign
the name `true'
- and the other selector, which selects the second
argument, we give the name `false'.
The lambda-abstractions for true and false are easily written as follows:
Georg P. Loczewski