An equational notion of lifting monad (0)

by Anna Bucalo, Carsten Führmann, Alex Simpson
Venue:Theoretical Computer Science