Items related to Models of Sharing Graphs: A Categorical Semantics of...
Models of Sharing Graphs: A Categorical Semantics of let and letrec (Distinguished Dissertations) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2011
- ISBN 10 1447112210
- ISBN 13 9781447112211
- BindingPaperback
- LanguageEnglish
- Number of pages146
Other Popular Editions of the Same Title
Search results for Models of Sharing Graphs: A Categorical Semantics of...
Stock Image
Models of Sharing Graphs: A Categorical Semantics of let and letrec (Distinguished Dissertations)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar2411530316219
Quantity: Over 20 available
Stock Image
Models of Sharing Graphs: A Categorical Semantics of let and letrec (Distinguished Dissertations)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9781447112211_new
Quantity: Over 20 available
Seller Image
Models of Sharing Graphs
Published by
Springer London Okt 2011, 2011
ISBN 10: 1447112210
ISBN 13: 9781447112211
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 152 pp. Englisch. Seller Inventory # 9781447112211
Quantity: 2 available
Stock Image
Models of Sharing Graphs: A Categorical Semantics of let and letrec
Published by
Springer London Ltd, 2011
ISBN 10: 1447112210
ISBN 13: 9781447112211
New
Paperback / softback
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 254. Seller Inventory # C9781447112211
Quantity: Over 20 available
Seller Image
Models of Sharing Graphs : A Categorical Semantics of let and letrec
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9781447112211
Quantity: 1 available
Seller Image
Models of Sharing Graphs
Print on DemandSeller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 l. Seller Inventory # 4184098
Quantity: Over 20 available
Stock Image
Models of Sharing Graphs : A Categorical Semantics of let and letrec
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9781447112211
Quantity: 10 available
Stock Image
Models of Sharing Graphs: A Categorical Semantics of let and letrec (Distinguished Dissertations)
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: Like New. Like New. book. Seller Inventory # ERICA77314471122106
Quantity: 1 available