Church–Rosser theorem ingelesa (Q1308502)
Nabigaziora joan
Bilaketara joan
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 ingelesa
| Hizkuntza | Etiketa | Deskribapena | Goitizenak |
|---|---|---|---|
| euskara | Ez da etiketarik zehaztu |
Ez da deskribapenik zehaztu |
|
| ingelesa | 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 |
Adierazpenak
Identifikatzaileak
Sitelinks
Wikipedia(9 sarrera)
- 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