1 paper
Adriana Balan, Silviu-George Pantelimon
Strong functors and monads are ubiquitous in Computer Science. More recently, (strong) comonads have demonstrated their use in structuring context-dependent notions of computation.…