領域理論
domain theory
領域理論 - Wikipedia
domain theory in nLab
λ計算の有向完備半順序 (dcpo)上への表示的意味論 (denotational semantics)
表示的意味論 - Wikipedia
不動點意味論