Similar to 型付きラムダ計算
不動点コンビネータ
Fixed-point combinator
アッカーマン関数
Ackermann function
項書き換え
Rewriting
合流性
Confluence (abstract rewriting)
Μ再帰関数
General recursive function文字列書き換え系
Semi-Thue system
DPLLアルゴリズム
DPLL algorithm
Mizar
Mizar systemラムダ計算
Lambda calculus
住性 (型理論)
Type inhabitation
ラムダ・キューブ
Lambda cube
0
0
1
1▲9 trends
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
12345679
計算理論
Theory of computation
EDVACに関する報告書の第一草稿
First Draft of a Report on the EDVAC一階述語論理
First-order logic
後向き連鎖
Backward chaining
オートマトン
Automata theory
帰納言語
Recursive language