next up previous contents index
Next: Subsitution of `add' in Up: Addition of the numbers Previous: Synthesis of `add' and   Contents   Index


Abstraction `add' (1)


\begin{lstlisting}[language=Scm]{}
(lambda(m n)
(lambda(f)
(compose (m f) (n f)))) [2]
\end{lstlisting}



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