The Comonad.Readertypes, (co)monads, substructural logic

2015

All writing & talks

13 articles · 12 talks · 0 papers · 15 repositories

2015

Bound

Propagators

Servant

Browse series

Explore all series →