5.2.1术语和表示法 (1)λ演算有两类符号: 小写单字符用以命名参数,也叫变量。 外加四个符号:(、)、。、λ。 大写单字符、特殊字符(如+ 大小写组成的标识符代替一个入表达式。5.2.1 术语和表示法 (1)λ演算有两类符号： • 小写单字符用以命名参数， 也叫变量。 • 外加四个符号： ( 、) 、。、λ。 • 大写单字符、 特殊字符（如+、-、*、/）、 大小写组成的标识符代替一个λ表达式