Similar to 不動点コンビネータ
節標準形
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm導出原理
Resolution (logic)Annals of Mathematics
Annals of MathematicsAxiom (数式処理システム)
Axiom (computer algebra system)B-Method
B-MethodSKIコンビネータ計算
SKI combinator calculusB,C,K,Wシステム
B, C, K, W system0
0▲1 trends1
1▼-1 trends2
23
34
45
56
67
78
89
912345679
関数型プログラミング
Functional programmingCatamorphism
CatamorphismCEK機械
CEK MachineFrenetic
Frenetic (programming language)Nix (パッケージ管理システム)
Nix (package manager)Option型
Option typeResult型
Result typeSECDマシン
SECD machine型クラス
Type class