articole
(gol)
Contact
Cont 
The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with new results. The text is unique in that it presents a new calculus (Parametric Lambda Calculus) which can be instantiated to obtain already known lambda-calculi.
citește totul
The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with new results. The text is unique in that it presents a new calculus (Parametric Lambda Calculus) which can be instantiated to obtain already known lambda-calculi.
ascunde descrierea
- Editură: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Cod:
- Anul publicării: 2010
- Limba: Engleză
- Legarea: Broșată
- Număr de pagini: 248
- Lățimea ambalajului: 23.4 cm
- Înălțimea ambalajului: 17.4 cm
- Adâncimea ambalajului: 1.5 cm
- Greutatea ambalajului: 392 g
Recenzii