**Samson Abramsky**

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

Last revised on September 25, 2021 at 12:12:52. See the history of this page for a list of all contributions to it.