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
12
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