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)
Contextual Semantics: From Quantum Mechanics to Logic, Databases, Constraints, and Complexity
Abramsky, S
Advanced Series on Mathematical Psychology
volume 6
23-50
(24 Jan 2016)
What are the fundamental structures of concurrency? We still don't know!
Abramsky, S
CoRR
volume abs/1401.4973
(2014)