19 citations · 40 across the 10 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2022★ 1 cited
Zigzag normalisation for associative -categories
Lukas Heidemann, David Reutter, Jamie Vicary
The theory of associative -categories has recently been proposed as a strictly associative and unital approach to higher category theory. As a foundation for a proof assistant,…
cs.LO2013★ 1 cited
Bicategorical Semantics for Nondeterministic Computation
Mike Stay, Jamie Vicary
We outline a bicategorical syntax for the interaction between public and private information in classical information theory. We use this to give high-level graphical definitions o…