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.