nLab Samson Abramsky

Selected writings

Samson Abramsky

Selected writings

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 September 25, 2021 at 12:12:52. See the history of this page for a list of all contributions to it.