More formally an environment is a set or ordered list of pairs , usually written as , where is a variable and its type.
is read as " has type in context ".
- "Simply Typed λ-calculus" (PDF).
|This programming language theory or type theory-related article is a stub. You can help Wikipedia by expanding it.|