Lambda calculus
スコット連続関数は、ラムダ計算に関するモデルの研究や、コンピューター・プログラムの表示的意味論に現れる。