10 citations · 52 across the 17 of their papers we have counts for
1 paper · 2 filters
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).…