June 22, 2024

Many-sorted algebras