关于 Lambda演算 久表达式 自由变量(计算一个λ表达式的自由变量 集合) 替换(计算) 变换规则(三种变换) 归约 ●范式(性质及其计算) 2021/2/52021/2/5 8 关于Lambda演算 ⚫ 表达式 ⚫ 自由变量（计算一个表达式的自由变量 集合） ⚫ 替换（计算） ⚫ 变换规则 （三种变换） ⚫ 归约 ⚫ 范式（性质及其计算）