nLab Samson Abramsky

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, 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]

• Samson Abramsky, Bob Coecke, Categorical quantum mechanics, in Handbook of Quantum Logic and Quantum Structures, Elsevier (2008) [arXiv: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, 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)

On simplicial complexes treated in homotopy type theory:

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

category: people