Lambda calculus
ラムダ式が導入された。この名前はラムダ計算に由来する。