17 citations · 98 across the 21 of their papers we have counts for
1 paper · 1 filter
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…