Sold Out
Book Categories |
Introduction.- Sharing Graphs and Equational Presentation.- Models of Acyclic Sharing Theroy.- Higher Order Extension.- Relating Models.- Models of Cyclic Sharing Theory.- Recursion from Cyclic Sharing.- Action Calculi.- Conclusion.- Proofs.- Bibliography.- Index.
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionModels of Sharing Graphs: A Categorical Semantics of let and letrec
X
This Item is in Your InventoryModels of Sharing Graphs: A Categorical Semantics of let and letrec
X
You must be logged in to review the productsX
X
X
Add Models of Sharing Graphs: A Categorical Semantics of let and letrec, 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 langua, Models of Sharing Graphs: A Categorical Semantics of let and letrec to the inventory that you are selling on WonderClubX
X
Add Models of Sharing Graphs: A Categorical Semantics of let and letrec, 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 langua, Models of Sharing Graphs: A Categorical Semantics of let and letrec to your collection on WonderClub |