Similar Items: Induction in Algebra: a First Case Study
- Aspects of algebraic Algebras
- Logic Meets Algebra: the Case of Regular Languages
- Signatures and Induction Principles for Higher Inductive-Inductive Types
- Algebraic Language Theory for Eilenberg--Moore Algebras
- Overlap Algebras: a Constructive Look at Complete Boolean Algebras
- Quotients, inductive types, and quotient inductive types