Similar Items: Consistency and Completeness of Rewriting in the Calculus of Constructions
- On Constructor Rewrite Systems and the Lambda Calculus
- Completeness of the ZX-Calculus
- The $pi$-Calculus is Behaviourally Complete and Orbit-Finitely Executable
- Rewriting and Completeness of Sum-Over-Paths in Dyadic Fragments of Quantum Computing
- Canonized Rewriting and Ground AC Completion Modulo Shostak Theories : Design and Implementation
- The Omega Rule is $mathbf{Pi_{1}^{1}}$-Complete in the $lambdabeta$-Calculus