next up previous contents index
Next: Application of basic logical Up: The IF- Abstraction Previous: Remark:   Contents   Index

Body of 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 to select.

Because there are only two possibilities to perform a selection we distinguish between two selectors:

  1. The selector which selects the first argument we assign the name `true'
  2. 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:

(define true (lambda (a b)
(define false (lambda (a b)

domain access counter Georg P. Loczewski 2004-03-05