Get the latest tech news

Slava's Monoid Zoo

⟨🍎🍌🐈🐶🐘 | Slava's Monoid Zoo | 🐘🐶🐈🍌🍎⟩ Return to my home page. Contents Introduction My interest in finitely-presented monoids stems from the Swift compiler's use of the Knuth-Bendix completion algorithm to implement same-type requirements.

None

Get the Android app