Samson Abramsky

ORCID

Publication Activity (10 Years)

Years Active: 1983-2024
Publications (10 Years): 58

Top Venues

CoRR

CSL

LICS

Math. Struct. Comput. Sci.

Publications

Samson Abramsky, Luca Reggio
Arboreal categories and equi-resource homomorphism preservation theorems. Ann. Pure Appl. Log. 175 (6) (2024)
Samson Abramsky, Radha Jagadeesan
Game Semantics for Higher-Order Unitary Quantum Computation. CoRR (2024)
Samson Abramsky, Serban-Ion Cercelescu, Carmen-Maria Constantin
Commutation Groups and State-Independent Contextuality. FSCD (2024)
Samson Abramsky, Luca Reggio
An Invitation to Game Comonads. ACM SIGLOG News 11 (3) (2024)
Samson Abramsky, Luca Reggio
An invitation to game comonads. CoRR (2024)
Samson Abramsky, Yoàv Montacute, Nihil Shah
Linear Arboreal Categories. CoRR (2023)
Samson Abramsky, Rui Soares Barbosa, Amy Searle
Combining contextuality and causality: a game semantics approach. CoRR (2023)
Samson Abramsky, Luca Reggio
Arboreal Categories: An Axiomatic Theory of Resources. Log. Methods Comput. Sci. 19 (3) (2023)
Samson Abramsky
Structure and Power: an Emerging Landscape. Fundam. Informaticae 186 (1-4) (2022)
Samson Abramsky
Structure and Power: an emerging landscape. CoRR (2022)
Samson Abramsky, Dan Marsden
Comonadic semantics for hybrid logic. MFCS (2022)
Samson Abramsky, Tomás Jakl, Thomas Paine
Discrete Density Comonads and Graph Parameters. CMCS (2022)
Samson Abramsky
Robin Milner's Work on Concurrency: An Appreciation. CoRR (2022)
Samson Abramsky
Notes on presheaf representations of strategies and cohomological refinements of k-consistency and k-equivalence. CoRR (2022)
Samson Abramsky, Tomás Jakl, Thomas Paine
Discrete density comonads and graph parameters. CoRR (2022)
Samson Abramsky, Luca Reggio
Arboreal Categories and Resources. ICALP (2021)
Samson Abramsky, Dan Marsden
Comonadic semantics for guarded fragments. LICS (2021)
Samson Abramsky, Dan Marsden
Comonadic semantics for hybrid logic and bounded fragments. CoRR (2021)
Samson Abramsky, Nihil Shah
Relating structure and power: Comonadic semantics for computational resources. J. Log. Comput. 31 (6) (2021)
Daphne Wang, Mehrnoosh Sadrzadeh, Samson Abramsky, Víctor H. Cervantes
On the Quantum-like Contextuality of Ambiguous Phrases. CoRR (2021)
Samson Abramsky, Rui Soares Barbosa
The Logic of Contextuality. CSL (2021)
Samson Abramsky, Luca Reggio
Arboreal Categories: An Axiomatic Theory of Resources. CoRR (2021)
Norihiro Yamada, Samson Abramsky
Dynamic game semantics. Math. Struct. Comput. Sci. 30 (8) (2020)
Samson Abramsky, Dan Marsden
Comonadic semantics for guarded fragments. CoRR (2020)
Samson Abramsky
Whither semantics? Theor. Comput. Sci. 807 (2020)
Samson Abramsky, Rui Soares Barbosa
The logic of contextuality. CoRR (2020)
Samson Abramsky
Classical logic, classical probability, and quantum mechanics. CoRR (2020)
Samson Abramsky, Nihil Shah
Relating Structure and Power: Extended Version. CoRR (2020)
Samson Abramsky
Whither Semantics? CoRR (2020)
Samson Abramsky
Contextuality: At the Borders of Paradox. CoRR (2020)
Samson Abramsky, Rui Soares Barbosa, Martti Karvonen, Shane Mansfield
A comonadic view of simulation and quantum resources. CoRR (2019)
Samson Abramsky, Rui Soares Barbosa, Martti Karvonen, Shane Mansfield
A comonadic view of simulation and quantum resources. LICS (2019)
Samson Abramsky, Nihil Shah
Relating Structure and Power: Comonadic Semantics for Computational Resources. CoRR (2018)
Samson Abramsky, Nihil Shah
Relating Structure and Power: Comonadic Semantics for Computational Resources. CSL (2018)
Samson Abramsky, Nihil Shah
Relating Structure and Power: Comonadic Semantics for Computational Resources - Extended Abstract. CMCS (2018)
Matthijs Vákár, Radha Jagadeesan, Samson Abramsky
Game semantics for dependent types. Inf. Comput. 261 (2018)
Samson Abramsky, Rui Soares Barbosa, Nadish de Silva, Octavio Zapata
The Quantum Monad on Relational Structures. MFCS (2017)
Samson Abramsky, Rui Soares Barbosa, Giovanni Carù, Simon Perdrix
A complete characterisation of All-versus-Nothing arguments for stabiliser states. CoRR (2017)
Samson Abramsky, Viktor Winschel
Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting. Math. Struct. Comput. Sci. 27 (5) (2017)
Samson Abramsky, Rui Soares Barbosa, Nadish de Silva, Octavio Zapata
The Quantum Monad on Relational Structures. CoRR (2017)
Samson Abramsky, Rui Soares Barbosa, Giovanni Carù, Nadish de Silva, Kohei Kishida, Shane Mansfield
Minimum Quantum Resources for Strong Non-Locality. TQC (2017)
Samson Abramsky, Anuj Dawar, Pengming Wang
The pebbling comonad in finite model theory. CoRR (2017)
Samson Abramsky
Intensionality, Definability and Computation. CoRR (2017)
Samson Abramsky, Anuj Dawar, Pengming Wang
The pebbling comonad in Finite Model Theory. LICS (2017)
Samson Abramsky, Carmen M. Constantin, Shenggang Ying
Hardy is (almost) everywhere: Nonlocality without inequalities for almost all entangled multipartite states. Inf. Comput. 250 (2016)
Abhishek Dasgupta, Samson Abramsky
Anytime Inference in Valuation Algebras. CoRR (2016)
Norihiro Yamada, Samson Abramsky
Dynamic Games and Strategies. CoRR (2016)
Samson Abramsky
Information, Processes and Games. CoRR (2016)
Samson Abramsky, Rui Soares Barbosa, Kohei Kishida, Raymond Lal, Shane Mansfield
Possibilities Determine the Combinatorial Structure of Probability Polytopes. CoRR (2016)
Peter D. Bruza, Samson Abramsky
Probabilistic Programs: Contextuality and Relational Database Theory. QI (2016)
Samson Abramsky, Dominic Horsman
DEMONIC programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics. QPL (2015)
Samson Abramsky, Alexander Kurz, Pierre Lescanne, Viktor Winschel
Coalgebraic Semantics of Reflexive Economics (Dagstuhl Seminar 15042). Dagstuhl Reports 5 (1) (2015)
Samson Abramsky, Rui Soares Barbosa, Kohei Kishida, Raymond Lal, Shane Mansfield
Contextuality, Cohomology and Paradox. CoRR (2015)
Samson Abramsky, Radha Jagadeesan, Matthijs Vákár
Games for Dependent Types. CoRR (2015)
Samson Abramsky, Rui Soares Barbosa, Kohei Kishida, Raymond Lal, Shane Mansfield
Contextuality, Cohomology and Paradox. CSL (2015)
Samson Abramsky, Jonathan A. Zvesper
From Lawvere to Brandenburger-Keisler: Interactive forms of diagonalization and self-reference. J. Comput. Syst. Sci. 81 (5) (2015)
Samson Abramsky, Radha Jagadeesan, Matthijs Vákár
Games for Dependent Types. ICALP (2) (2015)
Samson Abramsky
Process Realizability. CoRR (2015)
Samson Abramsky, Mehrnoosh Sadrzadeh
Semantic Unification A sheaf theoretic approach to natural language. CoRR (2014)
Samson Abramsky
Contextual Semantics: From Quantum Mechanics to Logic, Databases, Constraints, and Complexity. Bull. EATCS 113 (2014)
Samson Abramsky
An Algebraic Characterisation of Concurrent Composition. CoRR (2014)
Samson Abramsky
Events in context. Theor. Comput. Sci. 546 (2014)
Samson Abramsky
Axioms for Definability and Full Completeness. CoRR (2014)
Samson Abramsky
What are the fundamental structures of concurrency? We still don't know! CoRR (2014)
Samson Abramsky, Mehrnoosh Sadrzadeh
Semantic Unification - A Sheaf Theoretic Approach to Natural Language. Categories and Types in Logic, Language, and Physics (2014)
Samson Abramsky
Retracing some paths in Process Algebra. CoRR (2014)
Samson Abramsky
Two Puzzles About Computation. CoRR (2014)
Samson Abramsky, Radha Jagadeesan
Game Semantics for Access Control. CoRR (2014)
Samson Abramsky
Contextual Semantics: From Quantum Mechanics to Logic, Databases, Constraints, and Complexity. CoRR (2014)
Samson Abramsky, Adam Brandenburger
An Operational Interpretation of Negative Probabilities and No-Signalling Models. Horizons of the Mind (2014)
Samson Abramsky, Radha Jagadeesan
Games and Full Completeness for Multiplicative Linear Logic. CoRR (2013)
Samson Abramsky, Adam Brandenburger, Andrei Savochkin
No-Signalling Is Equivalent To Free Choice of Measurements. QPL (2013)
Samson Abramsky, Carmen M. Constantin
A classification of multipartite states by degree of non-locality. QPL (2013)
Samson Abramsky
Relational Hidden Variables and Non-Locality. Stud Logica 101 (2) (2013)
Samson Abramsky, Juha Kontinen, Jouko A. Väänänen, Heribert Vollmer
Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071). Dagstuhl Reports 3 (2) (2013)
Samson Abramsky
Coalgebras, Chu Spaces, and Representations of Physical Systems. J. Philos. Log. 42 (3) (2013)
Samson Abramsky, Radha Jagadeesan
A Game Semantics for Generic Polymorphism. CoRR (2013)
Samson Abramsky, Georg Gottlob, Phokion G. Kolaitis
Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics. IJCAI (2013)
Samson Abramsky
Semantics of Interaction. CoRR (2013)
Samson Abramsky, Dan R. Ghica
Foreword. Ann. Pure Appl. Log. 164 (11) (2013)
Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria
Full Abstraction for PCF. CoRR (2013)
Samson Abramsky
Relational Databases and Bell's Theorem. In Search of Elegance in the Theory and Practice of Computation (2013)
Susan Stepney, Samson Abramsky, Matthias Bechmann, Jerzy Gorecki, Viv Kendon, Thomas J. Naughton, Mario J. Pérez-Jiménez, Francisco José Romero-Campero, Angelika Sebald
Heterotic Computing Examples with Optics, Bacteria, and Chemicals. UCNC (2012)
Samson Abramsky, Michael W. Mislove, Catuscia Palamidessi
Preface. Theor. Comput. Sci. 430 (2012)
Samson Abramsky, Viktor Winschel
Coalgebraic Analysis of Subgame-perfect Equilibria in Infinite Games without Discounting CoRR (2012)
Samson Abramsky, Jonathan A. Zvesper
From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference. CMCS (2012)
Gilles Dowek, Samson Abramsky
What Makes Alan Turing a Great Scientist? - Introduction to the Special Theme. ERCIM News 2012 (91) (2012)
Samson Abramsky, Lucien Hardy
Logical Bell Inequalities CoRR (2012)
Samson Abramsky, Jean Krivine, Michael W. Mislove
Information Flow and Its Applications (Dagstuhl Seminar 12352). Dagstuhl Reports 2 (8) (2012)
Samson Abramsky
Big toy models - Representing physical systems as Chu spaces. Synth. 186 (3) (2012)
Samson Abramsky
Relational Databases and Bell's Theorem CoRR (2012)
Samson Abramsky
A Structural Approach to Reversible Computation CoRR (2011)
Samson Abramsky, Jouko A. Väänänen
From IF to BI: a tale of dependence and separation CoRR (2011)
Samson Abramsky, Nikos Tzevelekos
Introduction to Categories and Categorical Logic CoRR (2011)
Samson Abramsky
A Generalized Kahn Principle for Abstract Asynchronous Networks CoRR (2011)
Samson Abramsky
Sequentiality vs. Concurrency in Games and Logic CoRR (2011)
Samson Abramsky, Shane Mansfield, Rui Soares Barbosa
The Cohomology of Non-Locality and Contextuality QPL (2011)
Samson Abramsky, Adam Brandenburger
A Unified Sheaf-Theoretic Account Of Non-Locality and Contextuality CoRR (2011)
Samson Abramsky
Domain Theory and the Logic of Observable Properties CoRR (2011)
Samson Abramsky
The Logic and Topology of Non-locality and Contextuality. UC (2011)

Samson Abramsky.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Samson Abramsky