Equational lifting monads, Theoret (0)

by A Bucalo, C Führmann, A Simpson
Venue:Comput. Sci