TY  - RPRT
TI  - Theory of constructive semigroups with apartness -- foundations, development and practice
AU  - Melanija Mitrovic
AU  - Mahouton Norbert Hounkonnou
AU  - Marian Alexandru Baroni
PY  - 2022
UR  - https://arxiv.org/abs/2008.11008
ID  - 2008.11008
ER  -