Free Variables and First-Class Environments

James S. Miller, Guillermo Juan Rozas. Free Variables and First-Class Environments. Higher-Order and Symbolic Computation, 4(2):107-141, 1991.

Abstract

Abstract is missing.