Samson Abramsky (changes) in nLab

Showing changes from revision #9 to #10: Added | Removed | Changed

Samson Abramsky

• website

Selected writings

On domain theory:

• Samson Abramsky, Achim Jung, Domain Theory, in: Handbook of Logic in Computer Science 3, Oxford University Press (1995) [[ISBN:9780198537625](https://global.oup.com/academic/product/handbook-of-logic-in-computer-science-9780198537625?cc=de&lang=en&), pdf]

On quantum protocols in quantum information theory (such as quantum teleportation) formalized as string diagrams in the dagger-compact category of finite-dimensional Hilbert spaces (quantum information theory via dagger-compact categories):

• Samson Abramsky, Bob Coecke, A categorical semantics of quantum protocols , Proceedings of the 19th IEEE conference on Logic in Computer Science (LiCS’04). IEEE Computer Science Press (2004) [[arXiv:quant-ph/0402130](http://arxiv.org/abs/quant-ph/0402130)]

• Samson Abramsky, Bob Coecke, Abstract Physical Traces, Theory and Applications of Categories, 14 6 (2005) 111-124. [tac:14-06, arXiv:0910.3144]

• Samson Abramsky, Bob Coecke, Categorical quantum mechanics, in Handbook of Quantum Logic and Quantum Structures, Elsevier (2008) [[arXiv:0808.1023](http://arxiv.org/abs/0808.1023), ISBN:9780080931661, doi:10.1109/LICS.2004.1319636]

Survey in contrast to quantum logic:

• Samson Abramsky, Bob Coecke, Physics from Computer Science: a Position Statement, International Journal of Unconventional Computing 3 3 (2007) [[pdf](https://www.cs.ox.ac.uk/files/349/YORKIJUC.pdf), ijuc-3-3-p-179-197]

On quantum logic as the linear logic internal language of symmetric monoidal categories:

• Samson Abramsky, Ross Duncan, A Categorical Quantum Logic, Mathematical Structures in Computer Science, Volume 16, Issue 3 (2006) pp. 469 - 489 (arXiv:quant-ph/0512114, doi:10.1017/S0960129506005275)

Sheaf theoretic discussion of quantum contextuality (hidden variable theories, Kochen-Specker theorem):

• Samson Abramsky, Adam Brandenburger, The Sheaf-Theoretic Structure Of Non-Locality and Contextuality, New Journal of Physics 13 (2011) 113036 [[arXiv:1102.0264](https://arxiv.org/abs/1102.0264), doi:10.1088/1367-2630/13/11/113036]

On simplicial complexes treated in homotopy type theory:

• Maximilian Doré, Samson Abramsky, Towards Simplicial Complexes in Homotopy Type Theory (pdf)

On game comonads, e.g. the Ehrenfeucht-Fraïssé comonad,

• Samson Abramsky. Structure and Power: an emerging landscape. Fundamenta Informaticae 186(1-4) : 1–26, 2022 (doi:10.3233/FI-222116, arXiv:quant-ph/2206.07393)