3 ms·
A Lambda machine can be implemented using a Turing machine, but not the other way around, which means, Lambda calculus is a subset. Correct me if I'm wrong.
by mojuba 18y ago
A Lambda machine can be implemented using a Turing machine, but not the other way around, which means, Lambda calculus is a subset. Correct me if I'm wrong.
- staticshock 18y agonope, they're turing equivalent. read up on the church-turing thesis.
- eru 18y agoThey are lambda isomorph.