2 演算的语境行为

演算依赖时间.

演算进行于语境之中，但语境本身也参与演算。语境是变元作为变量的空间和约束的总和。语境的行为包括生成、嵌套、切换、合并与遗忘。

生成是从无到有地创建一个语境。嵌套是在一个语境内部建立子语境，子语境继承父语境的空间与约束。切换是操作者从当前语境转移到另一个语境，包括进入子语境、返回父语境或跳转到平行语境。合并是将多个平行语境汇聚为一个语境，合并后的语境保留各原语境中未被冲突的约束。遗忘是主动关闭一个语境，将其所有变量和约束从演算中移除。

每一次变量动作都伴随语境的相应变化：声明对应语境的生成，乘法对应语境的嵌套，加法对应语境的切换，关联对应语境的合并，遗忘对应语境的关闭。每一次语境行为都重新定义其中变量的权限边界。演算是变量与语境互为要素的协同过程。