Recording quantum queries – explained

Recording quantum queries – explainedD. Unruh (report, 2020). Unfinished draft.  [eprint]

Abstract: This draft was intended to give a formal treatment of Zhandry's results on recording quantum queries, with all definitions and proofs worked out. It is unfinished and there are currently no plans to finish it. However, since the manuscript has been cited in some places, we provide this incomplete draft as-is for reference.