Mathematical Institute

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

From Lawvere to Brandenburger-Keisler: interactive forms of
diagonalization and self-reference

Abramsky, S Zvesper, J (04 Jun 2010) http://arxiv.org/abs/1006.0992v1

Temperley-Lieb Algebra: From Knot Theory to Logic and Computation via
Quantum Mechanics

Abramsky, S In Mathematics of Quantum Computing and Technology, ed. G. Chen, L. Kauffman and S. Lomonaco. Taylor and Francis, 415--458, 2008 (14 Oct 2009) http://arxiv.org/abs/0910.2737v1

No-Cloning In Categorical Quantum Mechanics

Abramsky, S (13 Oct 2009) http://arxiv.org/abs/0910.2401v2

Subscribe to