Priyaa V. Srinivasan

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 3

Top Topics

Object Categories

Logical Framework

Quantum Mechanics

Top Venues

Log. Methods Comput. Sci.

Publications

J. Robin B. Cockett, Cole Comfort, Priyaa V. Srinivasan
Dagger linear logic for categorical quantum mechanics. Log. Methods Comput. Sci. 17 (4) (2021)
J. Robin B. Cockett, Priyaa V. Srinivasan
Complete Positivity for Mixed Unitary Categories. CoRR (2019)
J. Robin B. Cockett, Cole Comfort, Priyaa V. Srinivasan
The Category CNOT. QPL (2017)