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
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
diagonalization and self-reference
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
Quantum Mechanics
No-Cloning In Categorical Quantum Mechanics
Abramsky, S
(13 Oct 2009)
http://arxiv.org/abs/0910.2401v2
Categorical quantum mechanics
Abramsky, S
Coecke, B
(07 Aug 2008)
http://arxiv.org/abs/0808.1023v1
Lattice Boltzmann simulations of pressure-driven flows in microchannels using Navier–Maxwell slip boundary conditions
Reis, T
Dellar, P
Physics of Fluids
volume 24
issue 11
112001
(01 Nov 2012)