Lambda calculus
1960年代末にデイナ・スコットが領域についての研究を開始したそもそもの動機は、ラムダ計算の表示的意味論について研究するためであった。 ラムダ計算においては、この言語が定めている記法で記される「関数」について考察する。 このラムダ計算では純粋に文法的に、単なる関数から入力引数として別の関数をとるような関数を作ることが可能である。 このラムダ計算には、不動点コンビネータ（、Y コンビネータとも）Y といわれるものが存在することが知られている。 これは定義により、ラムダ計算で定められた文法的な変換を施すことで、任意の関数 "f" に対して "f"(Y("f")) = Y("f") となる性質をもつものである。