Similar to 不動点コンビネータ
ラムダ計算
Lambda calculus型付きラムダ計算
Typed lambda calculus帰納言語
Recursive language原始再帰関数
Primitive recursive function項書き換え
Rewriting合流性
Confluence (abstract rewriting)再帰
Recursion数学基礎論
Foundations of mathematicsΜ再帰関数
General recursive functionアルゴリズム
Algorithmコンビネータ論理
Combinatory logic制約論理プログラミング
Constraint logic programming並行制約プログラミング
Concurrent constraint logic programming並行論理プログラミング
Concurrent logic programmingMizar
Mizar system論理プログラミング
Logic programmingDPLLアルゴリズム
DPLL algorithmF代数
F-algebraカリー化
Currying高階関数
Higher-order function無名関数
Anonymous function計算理論
Theory of computationアッカーマン関数
Ackermann function一階述語論理
First-order logic帰納的可算言語
Recursively enumerable language帰納的可算集合
Computably enumerable set計算可能関数
Computable function計算複雑性理論
Computational complexity theory