Recording quantum queries – explained (report, 2020)
Dominique Unruh
[ eprint ]

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.