REVIEW 1 cited by
Measurements and confluence in quantum lambda calculi with explicit qubits
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
Signed reviews
read the original abstract
This paper demonstrates how to add a measurement operator to quantum lambda-calculi. A proof of the consistency of the semantics is given through a proof of confluence presented in a sufficiently general way to allow this technique to be used for other languages. The method described here may be applied to probabilistic rewrite systems in general, and to add measurement to more complex languages such as QML or Lineal, which is the subject of further research.
Forward citations
Cited by 1 Pith paper
-
Certified Misty-State Rewriting (A Question-and-Answer Guide)
Misty-state terms are assigned an unnormalized-amplitude semantics with scoped normalization, canonical normal forms, and branch-based measurement, so the notation's rewrites become exactly checkable.
Discussion (0). Continue with ORCID to comment.