Algebraic Theories, Graduate Texts inMathematics 26 (1976)

by Ernest G Manes
Venue:InFourth Annual Symposium on Logic in Computer Science