Categorical Combinators, Sequential Algorithms, and Functional Programming - Progress in Theoretical Computer Science - P-.l. Curien - 書籍 - Birkhauser Boston Inc - 9780817636548 - 1993
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Categorical Combinators, Sequential Algorithms, and Functional Programming - Progress in Theoretical Computer Science 2 Rev edition

価格
¥ 17.122
税抜

遠隔倉庫からの取り寄せ

発送予定日 年6月3日 - 年6月15日
iMusicのウィッシュリストに追加

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
言語 英語