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) doi:10.1007/3-540-57887-0_87
Information Flow and Its Applications (Dagstuhl Seminar 12352).
 Abramsky, S Krivine, J Mislove, M Dagstuhl Reports volume 2 99-112 (2012) doi:10.4230/DagRep.2.8.99
Game Semantics for Access Control.
 Abramsky, S Jagadeesan, R CoRR volume abs/1401.5325 (2014)
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) doi:10.1142/9789814730617_0002
What are the fundamental structures of concurrency? We still don't know!
 Abramsky, S CoRR volume abs/1401.4973 (2014)
Subscribe to