圏論に基づいたデータ型の定義と計算モデルを持ちます。詳しくは<URL:http://www.tom.sfc.keio.ac.jp/~hagino/index.html.en>から入手できる論文を参照してください。<URL:http://www.tom.sfc.keio.ac.jp/~hagino/index.html.en>.Examplesこんな言語。乗算、階乗を定義してる。「succ.succ.succ.succ.succ.succ.zero」に簡約される。Featuresdialgebraを用いたデータ型の定義データ型の定義から導かれる書き換えルールによる項書き換えによる計算モデル。CPLを元にしたシステムらしい。