Recomienda este artículo a tus amigos:
Lambda-Calculus and Combinators: An Introduction Hindley, J. Roger (University of Wales, Swansea) 2 Revised edition
Precio
Mex$ 2.092
sin IVA
Pedido desde almacén remoto
Entrega prevista 17 - 27 de nov.
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Recibe notificaciones sobre nuevos lanzamientos de Hindley, J. Roger (University of Wales, Swansea)
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
Lambda-Calculus and Combinators: An Introduction
Hindley, J. Roger (University of Wales, Swansea)
This book gives an account of combinatory logic and lambda-calculus. The grammar and basic properties of both systems are discussed, followed by explanations of type-theory and lambda-calculus models. The treatment is as non-technical as possible with many examples and exercises.
358 pages, 10 b/w illus. 1 table 55 exercises
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 24 de julio de 2008 |
| ISBN13 | 9780521898850 |
| Editores | Cambridge University Press |
| Páginas | 358 |
| Dimensiones | 159 × 237 × 24 mm · 684 g |
| Lengua | Inglés |
