Next:
Abstraction `compose'
Up:
Multiplication of the numbers
Previous:
Substitution of `mult' in
Contents
Index
Synthesis of (lambda(m n) ... ) and `two three' in [19]
Georg P. Loczewski 2004-03-05