ELIGE TUS LIBROS ¡EL ENVÍO ES GRATIS!*
* Envíos a partir de 18€ para España peninsular, Tenerife, Gran Canaria y Mallorca
Detalles del libro
| Editorial | Cambridge University Press |
|---|---|
| Edición | (20/06/2013) |
| Idioma | Inglés |
| ISBN | 9780521766142 |
| ISBN-10 | 0521766141 |
Detalles del libro
| Autor/es | Henk Barendregt |
|---|---|
| Editorial | Cambridge University Press |
| Edición | (20/06/2013) |
| Idioma | Inglés |
| ISBN | 9780521766142 |
| ISBN-10 | 0521766141 |
Otros libros:
El autor de Lambda Calculus with Types, con isbn 978-0-521-76614-2, es Henk Barendregt.
Lambda Calculus With Types está editado por Ediciones Akal. En los setenta la editorial comenzó su primera singladura en Madrid. Su catálogo asciende a más de tres mil seiscientos diez textos. ISTMO, Foca Ediciones y Distribuciones Generales y Tursen- H. Blume pertenecen al mismo grupo (Akal) que Ediciones Akal. Dicha editorial está especializada en Ciencias Naturales Y Ténicas, Ciencias Humanas Y Sociales, Texto Escolar, Salud, Ficción... El fondo editorial de Ediciones Akal se distribuye en colecciones como Artesanos Medievales, Qué Hacemos, Sociedad, Cultura Y Educación, Básica De Bolsillo - Serie Novela Negra, Fuentes De Arte entre otros. Giorgio Scerbanenco, José ángel García De Cortázar, José Pablo García Casado, Catalina Balmaceda, Francis Bacon entre otros son algunos de los autores que han publicado en esta editorial.
Otros libros de Henk Barendregt son The Lambda Calculus. Its Syntax And Semantics y Types For Proofs And Programs.