Abstract Computing Machines A Lambda Calculus Perspective - Werner Kluge
-25% koodilla BOOKS
Toimitus 10-16 arkipäivässä
30 päivän palautusoikeus
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
Saatat myös pitää
Kuvaus
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
Lisätietoja
| Kirjoittaja | Werner Kluge |
|---|---|
| Julkaisija | Springer Science & Business Media |
| Julkaisuvuosi | 2005 |
| Kannen tyyppi | Kovakantinen |
| EAN | 9783540211464 |