March 25, 2026

Many-sorted algebras