Constructive semigroups with apartness -- a state of the art

Melanija Mitrovic, Mahouton Norbert Hounkonnou, Paula Catarino

This chapter aims to provide a clear and understandable picture of constructive semigroups with apartness in Bishop's style of constructive mathematics, BISH. Our theory is partly…