Tell your friends about this 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
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | 1993 |
| ISBN13 | 9780817636548 |
| Publishers | Birkhauser Boston Inc |
| Pages | 404 |
| Dimensions | 155 × 235 × 23 mm · 771 g |
| Language | English |