Selected Review of 6 Reviews

本書の中心テーマは、プログラム言語上の再帰的定義に対応する数学的構造をドメインとカテゴリを駆使して求めることです。 プログラム中の … Read full review

www.amazon.com