Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
a bare list of references, to be !includ
-ed into the list of references of relevant entries, such as at quantum computing and quantum programming, for ease of updating and syncing
added pointer to:
Samson Abramsky, Bob Coecke, A categorical semantics of quantum protocols , Proceedings of the 19th IEEE conference on Logic in Computer Science (LiCS’04). IEEE Computer Science Press (2004) (arXiv:quant-ph/0402130)
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)
added this pointer:
added pointer to:
added pointer to:
added pointer to:
added pointer to:
have added pointer to
and will create a stub-page quantum lambda-calculus
added pointer to:
1 to 11 of 11