Authors: A.W.Appel

Citation: A.w.appel, Loop Headers in Lambda-calculus or CPS, LISP and symbolic computation , 7(4), 1994, pp. 337-343