Coequational Logic for Finitary Functors

Daniel Schwencke. Coequational Logic for Finitary Functors. Electronic Notes in Theoretical Computer Science, 203(5):243-262, 2008. [doi]

Abstract

Abstract is missing.