research
∙
06/10/2021
Stream processors and comodels
In 2009, Ghani, Hancock and Pattinson gave a coalgebraic characterisatio...
research
∙
11/30/2020
The costructure-cosemantics adjunction for comodels for computational effects
It is well established that equational algebraic theories, and the monad...
research
∙
11/07/2018