nLab Yuri Gurevich

• personal page

• Wikipedia entry

Selected writings

On set theory with commentary on ETCC:

• Andreas Blass, Yuri Gurevich, Why Sets?, Bull. Europ. Assoc. Theoret. Comp. Sci. 84 (2004) 139-156. [doi:10.1007/978-3-540-78127-1_11, pdf, pdf]

On formal statement and proof of the deferred measurement principle of quantum circuits:

• Yuri Gurevich, Andreas Blass, Quantum circuits with classical channels and the principle of deferred measurements, Theoretical Computer Science 920 (2022) 21–32 [arXiv:2107.08324, doi:10.1016/j.tcs.2022.02.002]

On a formal quantum programming language-perspective on quantum circuits:

• Yuri Gurevich, Andreas Blass, Software science view on quantum circuit algorithms [arXiv:2209.13731]

category: people