For a quantum lambda-calculus with measurement, the paper claims confluence, standardization, and asymptotic normalization, but reduction is not closed under the paper's own validity rules.
On probabilistic term rewriting
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2024 1verdicts
REJECT 1representative citing papers
citing papers explorer
-
A Rewriting Theory for Quantum Lambda-Calculus
For a quantum lambda-calculus with measurement, the paper claims confluence, standardization, and asymptotic normalization, but reduction is not closed under the paper's own validity rules.