From Wikipedia, the free encyclopedia
(Redirected from Environment (type theory))
In type theory a typing environment (or variable assignment) represents the association between variables names and data types. More formally an environment is a set or ordered list of pairs , usually written as , were is a variable and its type.
|This programming language theory or type theory-related article is a stub. You can help Wikipedia by expanding it.|