关于 Lambda演算 ●范式(性质及其计算) 假设E是一个表达式,且其中没有任何一个 归约基,则称该表达式为范式。 范式的存在性:如果有范式,则最左归约法 定能求出范式。 范式的唯一性:如果有范式则在a变换下 定唯 2021/2/52021/2/5 12 关于Lambda演算 ⚫ 范式（性质及其计算） ⚫ 假设E是一个表达式，且其中没有任何一个 归约基，则称该表达式为范式。 ⚫ 范式的存在性：如果有范式，则最左归约法 一定能求出范式。 ⚫ 范式的唯一性：如果有范式则在变换下一 定唯一