- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Description
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
Spécifications
Parties prenantes
- Auteur(s) :
- Editeur:
Contenu
- Nombre de pages :
- 384
- Langue:
- Anglais
- Collection :
Caractéristiques
- EAN:
- 9783540211464
- Date de parution :
- 18-02-05
- Format:
- Livre relié
- Format numérique:
- Genaaid
- Dimensions :
- 166 mm x 241 mm
- Poids :
- 712 g
