Free variables and first-class environments (1991)

by James S Miller, Guillermo J Rozas
Venue:Lisp and Symbolic Computation: An International Journal