Radu Mardare

Metric Equational Theories

2025 · Electronic Proceedings in Theoretical Computer Science

This paper proposes appropriate sound and complete proof systems for algebraic structure over metric spaces by combining the development of Quantitative Equational Theories (QET) with the Enriched Lawvere Theories.We extend QETs to Metric Equational Theories …