Similar to ラムダ計算
不動点コンビネータ
Fixed-point combinator
アルゴリズム
Algorithm▼-1 trends
形式手法
Formal methods
制約論理プログラミング
Constraint logic programming
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming
Mizar
Mizar system
モデル検査
Model checking
論理プログラミング
Logic programming
DPLLアルゴリズム
DPLL algorithm
Smn定理
Smn theorem
形式体系
Formal system構成規則
Formation rule/cdn.vox-cdn.com/uploads/chorus_image/image/46397844/B_B_Open.0.0.JPG)
B-Method
B-Method
Call Level Interface
Call Level Interface
0
0
F代数
F-algebra
カリー化
Currying
高階関数
Higher-order function
代数的データ型
Algebraic data type
無名関数
Anonymous function
M系列
Maximum length sequence
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
形式的検証
Formal verification
ゲーデルの不完全性定理
Gödel's incompleteness theorems
ゲーム意味論
Game semantics
コンビネータ論理
Combinatory logic再帰的定義
Recursive definition