Algebras, Theories and Freeness: An Introduction for Computer Scientists
- 1 January 1982
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Initially — Restricting algebraic theoriesPublished by Springer Nature ,2005
- Electronic category theoryPublished by Springer Nature ,2005
- Universal AlgebraPublished by Springer Nature ,1979
- Data type specificationPublished by Association for Computing Machinery (ACM) ,1978
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977