この商品を友人に教える:
Categorical Combinators, Sequential Algorithms, and Functional Programming - Progress in Theoretical Computer Science P-.l. Curien 2 Rev edition
価格
¥ 16.960
税抜
遠隔倉庫からの取り寄せ
発送予定日 2026年1月16日 - 2026年1月28日
iMusicのウィッシュリストに追加
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
| メディア | 書籍 Hardcover Book (ハードカバー付きの本) |
| リリース済み | 1993 |
| ISBN13 | 9780817636548 |
| 出版社 | Birkhauser Boston Inc |
| ページ数 | 404 |
| 寸法 | 155 × 235 × 23 mm · 771 g |
| 言語 | 英語 |
![Cover for P-.l. Curien · Categorical Combinators, Sequential Algorithms, and Functional Programming - Systems & Control: Foundations and Applications (Paperback Book) [Softcover Reprint of the Original 1st Ed. 1993 edition] (2012)](https://imusic.b-cdn.net/images/item/original/041/9781461267041.jpg?p-l-curien-2012-categorical-combinators-sequential-algorithms-and-functional-programming-systems-control-foundations-and-applications-paperback-book&class=scaled&v=1608793335)