クリーネの再帰定理
Kleene's recursion theorem
表示的意味論
不動点コンビネータ
クリーネの再帰定理 - Wikipedia