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:

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 April 8, 2023 at 07:16:02. See the history of this page for a list of all contributions to it.