Next:
Synthesis of `mult' and
Up:
Detailed Discussion of Addition
Previous:
Synthesis of the inner
Contents
Start
Multiplication of the numbers `two' and `three'
Subsections
Synthesis of `mult' and `two three'
Abstraction `mult'
Substitution of `mult' in [17]
Synthesis of (lambda(m n) ... ) and `two three' in [19]
Abstraction `compose'
Substitution of `compose' in [20]
Synthesis of (lambda(f g) ...) and `two three' in [22]
Abstraction `two'
Abstraction `three'
Substitution of `two' and `three' in [23]
Synthesis of the inner (lambda(f) ...) and `x' in [26]
Synthesis of (lambda(f) ...) and `(lambda(x0) ...)' in [28]
Synthesis of the inner (lambda(x0) ...) and `x1'
Synthesis of (lambda(x0) ...) and `(x(x(x x1)))'
Renaming the variables: x -
f und x1 -
x
Georg P. Loczewski 2004-03-05
Impressum und Datenschutz
f und x1 -