Abstract Tensor Systems as Monoidal Categories
Kissinger, A
Lecture Notes in Computer Science
volume 8222
235-252
(2014)
Tensors, !-graphs, and non-commutative quantum structures
Kissinger, A
Quick, D
Electronic Proceedings in Theoretical Computer Science
volume 172
56-67
(28 Dec 2014)
Contextuality, Cohomology and Paradox.
Abramsky, S
Barbosa, R
Kishida, K
Lal, R
Mansfield, S
CSL
volume 41
211-228
(2015)
Games for Dependent Types
Abramsky, S
Jagadeesan, R
Vákár, M
Lecture Notes in Computer Science
volume 9135
31-43
(20 Jun 2015)
Relational Databases and Bell’s Theorem
Abramsky, S
Lecture Notes in Computer Science
volume 8000
13-35
(2013)
Semantic Unification - A Sheaf Theoretic Approach to Natural Language.
Abramsky, S
Sadrzadeh, M
Categories and Types in Logic, Language, and Physics
volume 8222
1-13
(2014)
Full Abstraction for PCF (extended abstract)
Abramsky, S
Malacaria, P
Jagadeesan, R
Lecture Notes in Computer Science
volume 789
1-15
(31 May 1994)
Information Flow and Its Applications (Dagstuhl Seminar 12352).
Abramsky, S
Krivine, J
Mislove, M
Dagstuhl Reports
volume 2
99-112
(2012)
Game Semantics for Access Control.
Abramsky, S
Jagadeesan, R
CoRR
volume abs/1401.5325
(2014)
Axioms for Definability and Full Completeness
Abramsky, S
55-76
(08 May 2000)