> もっと抽象データ型の関係を、数学から引っ張ってきた
> 概念で記述したりするような理論とかってないの？
"Algebra of Programming"。
…あなたが期待するようなものでは絶対ないけどね。