Topic
Church–Rosser theorem.
theorem that, when applying reduction rules to terms in some variants of the lambda calculus, the ordering in which the reductions are chosen does not make a difference to the eventual result
The journal
Open the journal →The conversation starts in the journal — be the first to post.
About Church–Rosser theorem
In lambda calculus, the Church–Rosser theorem states that, when applying reduction rules to terms, the ordering in which the reductions are chosen does not make a difference to the eventual result.
Everything about Church–Rosser theorem →