Lambda calculus
ラムダ式 (lambda expression) はラムダ計算と関係が深く、関数型言語で特によく採用されている。