Church-Rosser theorem: Lambda Calculus, Anonymous Function, Applicative Computing Systems -
-25% su kodu BOOKS
Pristatymas per 15-21 d.d.
30 dienų grąžinimo politika
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. The Church-Rosser theorem states that if there are two distinct reductions starting from the same lambda calculus term, then there exists a term that is reachable from each reduct via a (possibly empty) sequence of reductions. This is symbolized by the diagram at right: if term a c ... Visas aprašymas
Jums taip pat gali patikti
Aprašymas
Daugiau informacijos
| Leidėjas | OmniScriptum |
|---|---|
| Išleidimo metai | 2026 |
| Viršelio tipas | Minkšti viršeliai |
| EAN | 9786133222724 |