News for hackers. Stuff that matters.

A comment on A lambda calculus for quantum computation.

Re:A lambda calculus for quantum computation by ssivark on Saturday March 31, 2018 @12:32AM (#16721733)
Interesting resource. Given that "no-cloning" [1] seems to be a fundamental property of quantum mechanics, I would expect any relevant programming language to enforce linear types i.e. "use exactly once" constraint.

[1]: https://quantiki.org/wiki/no-cloning-theorem

[ Parent | on HN ]
Re:A lambda calculus for quantum computation by fovc on Saturday March 31, 2018 @12:28PM (#16723903)
The linked paper says in the abstract:

The calculus turns out to be closely related to the linear lambda calculi used in the study of Linear Logic. We set up a computational model and an equational proof system for this calculus, and we argue that it is equivalent to the quantum Turing machine.

[ Parent | on HN ]
Re:A lambda calculus for quantum computation by ssivark on Monday April 02, 2018 @02:02AM (#16732649)
Yes, I was placing that statement in context.
[ Parent | on HN ]