The Comonad Readertypes, (co)monads, substructural logic

2015

All writing & talks

13 articles · 12 talks · 0 papers · 14 repositories

2015

Bound

Propagators

Servant

Browse series

Explore all series →