A game semantics for generic polymorphism
Abramsky, S
Jagadeesan, R
ANNALS OF PURE AND APPLIED LOGIC
volume 133
issue 1-3
3-37
(2005)
https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=elements_prod_1&SrcAuth=WosAPI&KeyUT=WOS:000227755900002&DestLinkType=FullRecord&DestApp=WOS_CPL
Algorithmic game semantics - A tutorial introduction
Abramsky, S
PROOF AND SYSTEM-RELIABILITY
volume 62
21-47
(2002)
https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=elements_prod_1&SrcAuth=WosAPI&KeyUT=WOS:000178304000002&DestLinkType=FullRecord&DestApp=WOS_CPL
Nuclear and Trace Ideals in Tensored *-Categories
Abramsky, S
Blute, R
Panangaden, P
(22 May 1998)
http://arxiv.org/abs/math/9805102v2
Strong Complementarity and Non-Locality in Categorical Quantum Mechanics
Coecke, B
Duncan, R
Kissinger, A
Wang, Q
245-254
(01 Jun 2012)
Domain Theory and the Logic of Observable Properties
Abramsky, S
(01 Dec 2011)
http://arxiv.org/abs/1112.0347v1
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