In
computer science, an environment is a
function from a finite set of symbols to the set of all values. In other words, it is a way of matching
variables to their values. Environments are indispensable in the implementation of
programming languages.
Compare
substitution.