
Algebraic Theories
A Categorical Introduction to General Algebra
PAYBACK Punkte
67 °P sammeln!
Up-to-date categorical view of sets with extra algebraic structure (data types), with applications in mathematics and theoretical computer science.