vix.ing · top · new · best · stats · spec

Miriam Backens

  1. Completeness of the ZH-calculus
    2023/07/12 by Miriam Backens, Aleks Kissinger, Hector Miller-Bakewell +2 · 1 citation
    Computer Science · #Logic, programming, and type systems #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography