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)
Subscribe to