Olivier Danvy Carolyn L. Talcott 293 2009 22 Higher-Order and Symbolic Computation 4 http://dx.doi.org/10.1007/s10990-010-9052-x db/journals/lisp/lisp22.html#DanvyT09b