Olivier Danvy Carolyn L. Talcott 159-160 2000 13 Higher-Order and Symbolic Computation 3 db/journals/lisp/lisp13.html#DanvyT00a http://dx.doi.org/10.1023/A:1010014500357