Environment
In programming language theory, an Environment is list of closed values for some context . We can neatly represent this as a Substitution from the empty context the , with the invariant that every term in the substitution is a value.
In programming language theory, an Environment is list of closed values for some context . We can neatly represent this as a Substitution from the empty context the , with the invariant that every term in the substitution is a value.