Church-Rosser theorem: Lambda Calculus, Anonymous Function, Applicative Computing Systems -
-25% koodilla BOOKS
Toimitus 15-21 arkipäivässä
30 päivän palautusoikeus
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 ... Täydellinen kuvaus
Saatat myös pitää
Kuvaus
Lisätietoja
| Julkaisija | OmniScriptum |
|---|---|
| Julkaisuvuosi | 2026 |
| Kannen tyyppi | Pehmeäkantinen |
| EAN | 9786133222724 |