13 citations · 31 across the 10 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
quant-ph2021
Quantum Information Effects
Chris Heunen, Robin Kaarsgaard
We study the two dual quantum information effects to manipulate the amount of information in quantum computation: hiding and allocation. The resulting type-and-effect system is ful…
math.CT2021
Graph Traversals as Universal Constructions
Siddharth Bhaskar, Robin Kaarsgaard
We exploit a decomposition of graph traversals to give a novel characterization of depth-first and breadth-first traversals as universal constructions. Specifically, we introduce f…
quant-ph2021★ 7 cited
Bennett and Stinespring, Together at Last
Chris Heunen, Robin Kaarsgaard
We present a universal construction that relates reversible dynamics on open systems to arbitrary dynamics on closed systems: the restriction affine completion of a monoidal restri…