nLab Samson Abramsky

Selected writings

Samson Abramsky

Selected writings

On domain theory:

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):

Survey in contrast to quantum logic:

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

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

On simplicial complexes treated in homotopy type theory:

  • Maximilian DorĂ©, Samson Abramsky, Towards Simplicial Complexes in Homotopy Type Theory (pdf)
category: people

Last revised on November 6, 2023 at 16:49:26. See the history of this page for a list of all contributions to it.