March 29, 2024

Many-sorted algebras