株式会社極東書店トップ ＞ 商品一覧 ＞ Models of Sharing Graphs: A Categorical Semantics of let and letrec. Softcover reprint of the original 1st ed. 1999
商品詳細
Models of Sharing Graphs: A Categorical Semantics of let and letrec. Softcover reprint of the original 1st ed. 1999
・ISBN 978-1-4471-1221-1 paper EUR 49.99
￥13,361.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
| 著者・編者 | Hasegawa, Masahito, |
|---|---|
| シリーズ | (Distinguished Dissertations) |
| 出版社 | (Springer London Ltd, UK) |
| 出版年月 | 2011 |
| ページ数 | 134 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A04-80970＞ |
解説
Models of Sharing Graphs presents a sound mathematical basis for reasoning about models of computation involving shared resources, including graph rewriting systems, denotational semantics and concurrency theory. An algebraic approach, based on the language of category theory, is taken throughout this work, which enables the author to describe several aspects of the notion of sharing in a systematic way. In particular, a novel account of recursive computation created from cyclic sharing is developed using this framework.