James S. Miller, Guillermo Juan Rozas. Free Variables and First-Class Environments. Higher-Order and Symbolic Computation, 4(2):107-141, 1991.
@article{MillerR91, title = {Free Variables and First-Class Environments}, author = {James S. Miller and Guillermo Juan Rozas}, year = {1991}, tags = {meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/MillerR91}, cites = {0}, citedby = {0}, journal = {Higher-Order and Symbolic Computation}, volume = {4}, number = {2}, pages = {107-141}, }