Church-Rosser theorem: Lambda Calculus, Anonymous Function, Applicative Computing Systems -
-30% ar kodu BOOKS
Piegāde 15-21 darba dienu laikā
30 dienu atgriešanas 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 ... Pilns apraksts
Jums varētu patikt arī
Aprašymas
Vairāk informācijas
| Izdevējs | OmniScriptum |
|---|---|
| Izlaides gads | 2026 |
| Vāka tips | Mīkstais vāks |
| EAN | 9786133222724 |