Recomienda este artículo a tus amigos:
Lambda Calculus with Types - Perspectives in Logic Barendregt, Henk (Radboud Universiteit Nijmegen)
Precio
Mex$ 2.017
sin IVA
Pedido desde almacén remoto
Entrega prevista 11 - 27 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Barendregt, Henk (Radboud Universiteit Nijmegen)
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
Lambda Calculus with Types - Perspectives in Logic
Barendregt, Henk (Radboud Universiteit Nijmegen)
Typed lambda calculus is used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), which are used to design and verify IT products and mathematical proofs. This book reveals unexpected mathematical beauty in three classes of typing: simple types, recursive types and intersection types. Numerous exercises are provided.
854 pages, 52 b/w illus. 300 exercises
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 20 de junio de 2013 |
| ISBN13 | 9780521766142 |
| Editores | Cambridge University Press |
| Páginas | 856 |
| Dimensiones | 249 × 179 × 49 mm · 1,61 kg |
| Lengua | Inglés |
![Cover for Horvitz, Jon C. (City College, City University of New York) · Principles of Behavioral Neuroscience (Paperback Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/100/9781009694100.jpg?horvitz-jon-c-city-college-city-university-of-new-york-2027-principles-of-behavioral-neuroscience-paperback-book&class=scaled&v=1781538992)
![Cover for Horvitz, Jon C. (City College, City University of New York) · Principles of Behavioral Neuroscience (Hardcover Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/124/9781009694124.jpg?horvitz-jon-c-city-college-city-university-of-new-york-2027-principles-of-behavioral-neuroscience-hardcover-book&class=scaled&v=1781538969)
