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