Church–Rosser theorem (Q1308502)
Jump to navigation
Jump to search
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
Sitelinks
Wikipedia(9 entries)
- dewiki Satz von Church-Rosser
- enwiki Church–Rosser theorem
- frwiki Propriété de Church-Rosser
- hrwiki Church-Rosserov teorem
- jawiki チャーチ・ロッサーの定理
- kowiki 처치-로서 정리
- ptwiki Teorema de Church-Rosser
- ruwiki Теорема Чёрча — Россера
- viwiki Định lý Church–Rosser