String Diagrams for Lambda Calculi and Functional Computation - Elements in Applied Category Theory - Ghica, Dan R. (University of Birmingham and Huawei Central Software Institute) - 書籍 - Cambridge University Press - 9781009719971 - 2026年9月30日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

String Diagrams for Lambda Calculi and Functional Computation - Elements in Applied Category Theory


商品が入荷したらメールで通知を受け取る
プロフィールはありますか? ログイン
Ghica, Dan R. (University of Birmingham and Huawei Central Software Institute) の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加

まだ評価がありません

An advanced introduction to string diagrams and graph languages for higher-order computation, enhancing clarity and structure in functional programming. This title is also available as open access on Cambridge Core.

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2026年9月30日
ISBN13 9781009719971
出版社 Cambridge University Press
ページ数 75
寸法 150 × 220 × 20 mm   ·   204 g   (重量(概算))

同じ出版社からのその他の記事