scrambled
scrambled
Concept

Scope

Modified just now
Books JourneyProgramming Language Theory Statusmastered Tags
  • lambda calculus
  • semantics
  • syntax grammar

INFO

(Semantics) The region of the code that a Binding takes effect.

INFO

(Syntax & Grammar, Semantics) An Abstract binding tree (ABT) within which the bound identifier can be used, either as a placeholder (in the case of a variable declaration) or as the index of some Indexed operator (in the case of a Symbol declaration).