Lambda calculus
ラムダ計算は、ラムダ項と呼ばれる以下のような形の記号の列に関係している。