A Generalized Kahn Principle for Abstract Asynchronous Networks
Abramsky, S
(02 Dec 2011)
http://arxiv.org/abs/1112.0427v1
Logic and Categories As Tools For Building Theories
Abramsky, S
Issue on
Logic and Philosophy Today
volume 27
1
(25 Jan 2012)
http://arxiv.org/abs/1201.5342v1
Logical Bell Inequalities
Abramsky, S
Hardy, L
Phys. Rev. A
volume 85
062114
(06 Mar 2012)
http://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)
http://arxiv.org/abs/1111.3620v2
Sequentiality vs. Concurrency in Games and Logic
Abramsky, S
Mathematical Structures in Computer Science, Volume 13 Issue 4,
pages 531-565, August 2003
(30 Nov 2011)
http://arxiv.org/abs/1111.7159v1
A Cook's Tour of the Finitary Non-Well-Founded Sets
Abramsky, S
(30 Nov 2011)
http://arxiv.org/abs/1111.7148v2
Determining Relevance of Accesses at Runtime (Extended Version)
Benedikt, M
Gottlob, G
Senellart, P
(04 Apr 2011)
http://arxiv.org/abs/1104.0553v3
The GHZ/W-calculus contains rational arithmetic
Coecke, B
Kissinger, A
Merry, A
Roy, S
Electronic Proceedings in Theoretical Computer Science
volume 52
34-48
(09 Mar 2011)
Relational Hidden Variables and Non-Locality
Abramsky, S
Studia Logica April
volume 101
issue 2
411-452
(16 Jul 2010)
http://arxiv.org/abs/1007.2754v5
H*-algebras and nonunital Frobenius algebras: first steps in
infinite-dimensional categorical quantum mechanics
Abramsky, S
Heunen, C
AMS Proceedings of Symposia in Applied
Mathematics
volume 71
1-24
(29 Nov 2010)
http://arxiv.org/abs/1011.6123v3
infinite-dimensional categorical quantum mechanics