Not signed in (Sign In)

Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeApr 18th 2013
    • CommentRowNumber2.
    • CommentAuthorzskoda
    • CommentTimeApr 20th 2013
    • (edited Apr 20th 2013)

    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

    • John C. Baez, Mike Stay, Physics, topology, logic and computation: a rosetta stone, arxiv/0903.0340

    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.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeApr 24th 2013

    I have added to the references at quantum computation and at monad (in computer science) and at functional programming a pointer to

    • Thorsten Altenkirch, Alexander Green, The quantum IO monad, in Semantic Techniques in Quantum Computation, January 2009, appeared in 2010
    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeDec 23rd 2013

    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)

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeJan 7th 2014

    added to quantum computation an explicit pointer to the article

    • Ugo Dal Lago, Claudia Faggian, On Multiplicative Linear Logic, Modality and Quantum Circuits (arXiv:1210.0613)

    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.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeFeb 7th 2020

    added this pointer:

    diff, v29, current

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeFeb 13th 2020
    • (edited Feb 14th 2020)

    added this more recent review:

    [ah, wrong entry, moved now to topological quantum computing]

    diff, v31, current

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeFeb 14th 2020

    added this more recent survey:

    • National Academies of Sciences, Engineering, and Medicine, Quantum Computing: Progress and Prospects, The National Academies Press 2019 (doi:10.17226/25196)

    diff, v32, current

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)