Recomienda este artículo a tus amigos:
Derivation and Computation: Taking the Curry-Howard Correspondence Seriously - Cambridge Tracts in Theoretical Computer Science Simmons, H. (University of Manchester)
Precio
$ 178,99
sin IVA
Pedido desde almacén remoto
Entrega prevista 19 de jun. - 1 de jul.
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
Derivation and Computation: Taking the Curry-Howard Correspondence Seriously - Cambridge Tracts in Theoretical Computer Science
Simmons, H. (University of Manchester)
The is an introduction to simple type theory, exploring the relationship between proof and calculation. Each of its 52 sections ends with a set of exercises, some 200 in total. These are designed to help the reader get to grips with the subject. An appendix contains complete solutions to them.
410 pages, 23 tables 193 exercises
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 18 de mayo de 2000 |
| ISBN13 | 9780521771733 |
| Editores | Cambridge University Press |
| Páginas | 412 |
| Dimensiones | 236 × 161 × 25 mm · 668 g |
| Lengua | Inglés |
![Cover for Jackson, Robert J. (University of Redlands, California) · Global Politics in the 21st Century: War in Peacetime (Paperback Book) [2 Revised edition] (2026)](https://imusic.b-cdn.net/images/item/original/882/9781009114882.jpg?jackson-robert-j-university-of-redlands-california-2026-global-politics-in-the-21st-century-war-in-peacetime-paperback-book&class=scaled&v=1778756904)
![Cover for Chen, Cher Weixia (George Mason University, Virginia) · International Human Rights International Human Rights: A Survey (Paperback Book) [2 Revised edition] (2026)](https://imusic.b-cdn.net/images/item/original/013/9781009855013.jpg?chen-cher-weixia-george-mason-university-virginia-2026-international-human-rights-international-human-rights-a-survey-paperback-book&class=scaled&v=1779708744)
