Strong Complementarity and Non-locality in Categorical Quantum Mechanics
Coecke, B
Duncan, R
Kissinger, A
Wang, Q
(22 Mar 2012)
https://arxiv.org/abs/1203.4988v2
Domain Theory and the Logic of Observable Properties
Abramsky, S
(01 Dec 2011)
https://arxiv.org/abs/1112.0347v1
A Generalized Kahn Principle for Abstract Asynchronous Networks
Abramsky, S
(02 Dec 2011)
https://arxiv.org/abs/1112.0427v1
Logic and Categories As Tools For Building Theories
Abramsky, S
Issue on
Logic and Philosophy Today
volume 27
1-1
(01 Jan 2010)
http://arxiv.org/abs/1201.5342v1
Logical Bell Inequalities
Abramsky, S
Hardy, L
Phys. Rev. A
volume 85
062114
(06 Mar 2012)
https://arxiv.org/abs/1203.1352v6
The Cohomology of Non-Locality and Contextuality
Abramsky, S
Mansfield, S
Barbosa, R
EPTCS 95, 2012, pp. 1-14
(15 Nov 2011)
https://arxiv.org/abs/1111.3620v2
Sequentiality vs. Concurrency in Games and Logic
Abramsky, S
Mathematical Structures in Computer Science
volume 13
4
(30 Nov 2011)
https://arxiv.org/abs/1111.7159v1
A Cook's Tour of the Finitary Non-Well-Founded Sets
Abramsky, S
(30 Nov 2011)
https://arxiv.org/abs/1111.7148v2
Determining Relevance of Accesses at Runtime (Extended Version)
Benedikt, M
Gottlob, G
Senellart, P
(04 Apr 2011)
https://arxiv.org/abs/1104.0553v3
The GHZ/W-calculus contains rational arithmetic
Coecke, B
Kissinger, A
Merry, A
Roy, S
EPTCS 52, 2011, pp. 34-48
(14 Mar 2011)
https://arxiv.org/abs/1103.2812v1