Equational lifting monads (1999)

Cached

Download Links

by Anna Bucalo , Carsten Führmann , Alex Simpson
Venue:Proceedings CTCS '99, Electronic Notes in Computer Science
Citations:3 - 2 self