Page 1 INTRODUCING ITERATION INTO THE PURE LISP THEOREM ...

1 downloads 91 Views 4MB Size Report
We call the Y-position argument of REVERSE : LP an accumulator because it is ... However, functions which use accumulators cause trouble for the induction ...