Recomienda este artículo a tus amigos:
Categorical Combinators, Sequential Algorithms, and Functional Programming - Progress in Theoretical Computer Science P-.l. Curien 2 Rev edition
Categorical Combinators, Sequential Algorithms, and Functional Programming - Progress in Theoretical Computer Science
P-.l. Curien
This monograph is the second edition of a concrete approach to the semantics of sequential programming languages, which is a fundamental topic in theoretical computer science. It presents examples of fruitful interactions among computer science, category theory and mathematical logic.
404 pages, biography
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 1993 |
| ISBN13 | 9780817636548 |
| Editores | Birkhauser Boston Inc |
| Páginas | 404 |
| Dimensiones | 155 × 235 × 23 mm · 771 g |
| Lengua | Inglés |
Ver todo de P-.l. Curien ( Ej. Hardcover Book y Paperback Book )