113 citations · 1.3k across the 83 of their papers we have counts for
1 paper · 2 filters
Chris Heunen, Martti Karvonen
We extend categorical semantics of monadic programming to reversible computing, by considering monoidal closed dagger categories: the dagger gives reversibility, whereas closure gi…