Equational Lifting Monads

Anna Bucalo, Carsten Führmann, Alex K. Simpson. Equational Lifting Monads. Theoretical Computer Science, 29:22, 1999. [doi]

Abstract

Abstract is missing.