Theory of constructive semigroups with apartness -- foundations, development and practice

Melanija Mitrovic, Mahouton Norbert Hounkonnou, Marian Alexandru Baroni

This paper has several purposes. We present through a critical review the results from already published papers on the constructive semigroup theory, and contribute to its further…