lambda演算

定义

lambda演算的对象是lambda表达式。一个lambda表达式由以下几个部分组成:

记法

在lambda表达式含义不变的前提下,可以变成简化形式:

化约