Discrete equational theories

Jirí Rosický. Discrete equational theories. Mathematical Structures in Computer Science, 34(2):147-160, 2024. [doi]

Abstract

Abstract is missing.