Next:
Synthesis of (lambda(f g)
Up:
Multiplication of the numbers
Previous:
Abstraction `compose'
Contents
Index
Substitution of `compose' in [20]
Georg P. Loczewski 2004-03-05