From Bialgebraic Semantics to Congruence Formats

Bartek Klin. From Bialgebraic Semantics to Congruence Formats. Electronic Notes in Theoretical Computer Science, 128(1):3-37, 2005. [doi]

Abstract

Abstract is missing.