New answers tagged lambda-calculus
1
vote
Must the evaluation strategy for a language be specified in order to apply the Church-Rosser Theorem?
The Church-Rosser theorem gives you the following guarantees:
A term has at most one normal form. That is, there aren't different normal forms depending on your choice of evaluation strategy.
If a ...
- 19.1k
0
votes
Is there a hierarchy of computational expressivity that is sensitive to evaluation strategies?
Most (or all) reasonable programming are Turing-complete, and thus can be used to compute exactly the computable functions, i.e., to decide the decidable languages, nothing more and nothing less. So ...
D.W.♦
- 143k
Top 50 recent answers are included