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.
stub for quantum computation
I was convinced that John had discussed this as one of the topics planned for Azimuth Project, but my search did not find any directly related entry there, maybe John wrote about it elsewhere ? To some extent it s related to
which I will quote in the entry. The first ideas on quantum computing were due a paper of Feynman I think, but can not search for it now.
I have added to the references at quantum computation and at monad (in computer science) and at functional programming a pointer to
added this reference here to quantum computation
and slightly re-arranged and briefly commented on the items in the list of references
(all still very stubby)
added to quantum computation an explicit pointer to the article
which argues explicitly that linear (modal) logic is a good formalization of quantum compuation.
But I need to stare at that article a bit more to get a better idea of what their modality does. Adding qbits? I am not sure if I got the point here.
added this pointer:
added this more recent review:
[ah, wrong entry, moved now to topological quantum computing]
added this more recent survey:
1 to 8 of 8