Foundations of Equational Deduction: A Categorical Treatment of Equational Proofs and Unification Algorithms

Composing monads using coproducts

Proceedings of the seventh ACM SIGPLAN international conference on Functional programming

A Framework for Order-Sorted Algebra

AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology

Double categories: a modular model of multiplicative linear logic

Mathematical Structures in Computer Science

Rewriting via coinserters

Nordic Journal of Computing

Deriving weak bisimulation congruences from reduction systems

CONCUR 2005 - Concurrency Theory

Functorial semantics of rewrite theories

Formal Methods in Software and Systems Modeling