Recomienda este artículo a tus amigos:
Semantics and Logics of Computation - Publications of the Newton Institute Andrew M Pitts
Semantics and Logics of Computation - Publications of the Newton Institute
Andrew M Pitts
This book presents developments in semantics and logics of computation in a way that is accessible to graduate students. The book is based on a summer school at the Isaac Newton Institute and consists of a sequence of linked lecture courses by international authorities in the area. They have been edited to form a coherent introduction to these topics.
376 pages, black & white illustrations
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 20 de agosto de 2009 |
| ISBN13 | 9780521118460 |
| Editores | Cambridge University Press |
| Páginas | 376 |
| Dimensiones | 152 × 231 × 31 mm · 572 g |
| Lengua | Inglés |
| Editor | Dybjer, P. (Chalmers University of Technology, Gothenberg) |
| Editor | Pitts, Andrew M. (University of Cambridge) |