44 citations · 56 across the 9 of their papers we have counts for
1 paper · 2 filters
Jennifer Paykin, Steve Zdancewic
This paper presents an equational theory for the QRAM model of quantum computation, formulated as an embedded language inside of homotopy type theory. The embedded language approac…