9 citations · 11 across the 5 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
quant-ph2022★ 9 cited
Tierkreis: A Dataflow Framework for Hybrid Quantum-Classical Computing
Seyon Sivarajah, Lukas Heidemann, Alan Lawrence +1
We present Tierkreis, a higher-order dataflow graph program representation and runtime designed for compositional, quantum-classical hybrid algorithms. The design of the system is…
cs.LO2022★ 1 cited
Zigzag normalisation for associative -categories
Lukas Heidemann, David Reutter, Jamie Vicary
The theory of associative -categories has recently been proposed as a strictly associative and unital approach to higher category theory. As a foundation for a proof assistant,…