123 citations · 141 across the 16 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
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).…
math.CT2023
Normalizing Resistor Networks
Robin Cockett, Amolak Ratan Kalra, Priyaa Varshinee Srinivasan
Star to mesh transformations are well-known in electrical engineering, and are reminiscent of local complementation for graph states in qudit stabilizer quantum mechanics. This pap…