75 citations · 544 across the 41 of their papers we have counts for
Showing 2014 · cs.LOShow all
2 papers · 2 filters
cs.LO2014★ 1 cited
A 2-Categorical Analysis of Complementary Families, Quantum Key Distribution and the Mean King Problem
Krzysztof Bar, Jamie Vicary
This paper explores the use of 2-categorical technology for describing and reasoning about complex quantum procedures. We give syntactic definitions of a family of complementary me…
cs.LO2014★ 5 cited
Groupoid Semantics for Thermal Computing
Krzysztof Bar, Jamie Vicary
A groupoid semantics is presented for systems with both logical and thermal degrees of freedom. We apply this to a syntactic model for encryption, and obtain an algebraic character…