Olivier Danvy Carolyn L. Talcott 5 1999 12 Higher-Order and Symbolic Computation 1 db/journals/lisp/lisp12.html#DanvyT99