MathDB1 problem
- 0 votes0 replies0 views
The conjecture that classical variables and the new rules do not increase lambda-calculus complexity
Computational-complexity conjecture. The computational complexity of the -calculus is not enhanced by the introduction of the classical variables and the new rules.