Equational lifting monads (0)

by A Bucalo, C Führmann, A Simpson
Venue:Theoretical Computer Science