10 citations · 52 across the 17 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
quant-ph2023★ 2 cited
The Algebra for Stabilizer Codes
Cole Comfort
There is a bijection between odd prime dimensional qudit pure stabilizer states modulo invertible scalars and affine Lagrangian subspaces of finite dimensional symplectic $\mathbb{…
math.CT2023
Dagger linear logic and categorical quantum mechanics
Priyaa Varshinee Srinivasan
This thesis develops the categorical proof theory for the non-compact multiplicative dagger linear logic, and investigates its applications to Categorical Quantum Mechanics (CQM).…