Lambda calculus
その他、ラムダ計算や関数型言語の研究でも知られる。