Labels

• Label (binding) is <var,val> pair

• Compound label (environment) is set of labels

• CL well-formed iff

  • each var is unique
  • each val is in domain

• Projection of CL is subset