Conte aos seus amigos sobre este item:
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
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 1993 |
| ISBN13 | 9780817636548 |
| Editoras | Birkhauser Boston Inc |
| Páginas | 404 |
| Dimensões | 155 × 235 × 23 mm · 771 g |
| Idioma | Inglês |
Mais por P-.l. Curien
Mostrar tudoVer tudo de P-.l. Curien ( por exemplo Hardcover Book e Paperback Book )