Jamie Vicary (University of Oxford)

Identifiers

No identifiers captured yet.

Papers (3)

1. Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract) cs.LO · 2017 · author #2
2. Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract) quant-ph · 2017 · author #2
3. Proceedings 12th International Workshop on Quantum Physics and Logic quant-ph · 2015 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Chris Heunen (University of Oxford) 1 shared papers
• David Reutter (University of Oxford) 1 shared papers
• Lawrence Dunn (North Florida Community College) 1 shared papers
• Peter Selinger (Dalhousie University) 1 shared papers