Recomienda este artículo a tus amigos:
Category Theory and Computer Science: 7th International Conference, Ctcs'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings - Lecture Notes in Computer Science Eugenio Moggi
Category Theory and Computer Science: 7th International Conference, Ctcs'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings - Lecture Notes in Computer Science
Eugenio Moggi
Presenting the proceedings of the seventh International Conference on Category Theory and Computer Science, CTCS '97, this monograph addresses a range of topics in the field, including: reasoning principles for types; rewriting; program semantics; and structuring of logical systems.
328 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 20 de agosto de 1997 |
| ISBN13 | 9783540634553 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 328 |
| Dimensiones | 156 × 234 × 17 mm · 458 g |
| Lengua | Alemán |
| Editor | Moggi, Eugenio |
| Editor | Rosolini, Giuseppe |