Makes me think of the environment notation invented/used by Joseph Weizenbaum in the paper "The Funarg Problem Explained" in 1968 and which was used by our Prof

Makes me think of the environment notation invented/used by Joseph Weizenbaum in the paper "The Funarg Problem Explained" in 1968 and which was used by our Professor Daniel Ribbens in 1998-99 in our Scheme classes. The notation was really useful to understand how closures worked relative to the environment of definition vs the environment of execution. That was really interesting stuff. He called it the "Weizenbaum notation" but I never found any reference of it, except its use in that paper.