Similar Items: CC-circuits and the expressive power of nilpotent algebras
- Proof-irrelevant model of CC with predicative induction and judgmental equality
- The Power-Set Construction for Tree Algebras
- Distribution Bisimilarity via the Power of Convex Algebras
- Enumeration and updates for conjunctive linear algebra queries through expressibility
- Weighted Logics for Nested Words and Algebraic Formal Power Series
- Aspects of algebraic Algebras