17 citations · 98 across the 21 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.LO2026
UC, Categorically: Rigorous Diagrammatic Proofs
Pooya Farshim, Martti Karvonen, Andre Knispel +2
Category theory is a mathematical theory of composition, widely used in logic, computing, and physics. Here we apply it to give a theory of secure composition. In particular, we pr…
quant-ph2026
Algebraic paradoxes in adaptive quantum computation
Samson Abramsky, Rui Soares Barbosa, Carmen Constantin +1
Measurement-based quantum computation (MBQC) is a universal model of quantum computation whose full power requires adaptivity. Contextuality is known to power quantum advantage in…
quant-ph2026
Comment on 'The axiom of choice and the no-signalling principle'
Martti Karvonen
The main claim of Baumeler et al. (Proc. R. Soc. A 481, 20240601; arXiv:2206.08467) is that "functional (deterministic) no-signalling resources can be stronger than probabilistic o…