Olivier Danvy Takayasu Ito Carolyn L. Talcott Editorial. 307-307 2001 14 Higher-Order and Symbolic Computation 4 db/journals/lisp/lisp14.html#DanvyIT01