Church–Rosser theorem (Q6480756)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: [[]] |
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
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | 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 |
Statements
Identifiers
Church-RosserTheorem
Church-Rosser Theorem
1 reference
34222182
0 references
