TY  - RPRT
TI  - Metric Equational Theories
AU  - Radu Mardare
AU  - Neil Ghani
AU  - Eigil Rischel
PY  - 2025
DO  - 10.4204/eptcs.428.11
UR  - https://arxiv.org/abs/2509.14094
ID  - 2509.14094
ER  -