from 計算モデル

代数とは、集合とその上で定義された演算の2つ組のこと

データを集合、データの操作を演算と考える

抽象データ型も多ソート代数にモデル化できる

ラムダ計算や一階述語論理も代数としてモデル化できる