代数モデル
from 計算モデル
代数とは、集合とその上で定義された演算の2つ組のこと
データを集合、データの操作を演算と考える
多ソート代数
抽象データ型も多ソート代数にモデル化できる
ラムダ計算や一階述語論理も代数としてモデル化できる
/mrsekut-book-4000103520/318 (7 代数モデル)