Ross Duncan

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)

A quantum programming language based on linear type theory:

- Ross Duncan,
*Types for Quantum Computing*, 2006 (pdf)

category: people

Last revised on May 12, 2021 at 08:47:41. See the history of this page for a list of all contributions to it.