nLab Yuri Gurevich

Selected writings

Selected writings

On set theory with commentary on ETCC:

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

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

category: people

Created on October 27, 2022 at 09:07:25. See the history of this page for a list of all contributions to it.