Similar Items: Completeness of the ZX-Calculus
- Towards a Minimal Stabilizer ZX-calculus
- Addition and Differentiation of ZX-diagrams
- Consistency and Completeness of Rewriting in the Calculus of Constructions
- The $pi$-Calculus is Behaviourally Complete and Orbit-Finitely Executable
- The Omega Rule is $mathbf{Pi_{1}^{1}}$-Complete in the $lambdabeta$-Calculus
- Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus