Modules over monads and linearity (2007)

by A Hirschowitz, M Maggesi
Venue:In Logic, Language, Information and Computation, 14th International Workshop, WoLLIC 2007, Proceedings