Models of Sharing Graphs: A Categorical Semantics of Let and Letrec (Softcover Reprint of the Original 1st 1999)

✍️ Hasegawa, Masahito
$54.99
In stock — ready to ship Ships in 1–2 business days
🏛 Springer 📅 2011 📖 152 pages 📔 Paperback ISBN: 9781447112211

📝 Description: Models of Sharing Graphs: A Categorical Semantics of Let and Letrec (Softcover Reprint of the Original 1st 1999)

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.

⭐ Reader reviews

The starting rating comes from the team Manga Lane —

Reader rating

Reviews yet. Be the first!

📖 From the series “Distinguished Dissertations”

Extensional Constructs in Intensional Type Theory (Softcover Reprint of the Original 1st 1997)
★★★★★
★★★★★
4.6
Hofmann, Martin
Extensional Constructs in Intensional Type Theory (Softcover Reprint of the Original 1st 1997)
$159.99
85
Large Scale Collaborative Virtual Environments (Softcover Reprint of the Original 1st 1999)
★★★★★
★★★★★
4.6
Greenhalgh, Chris
Large Scale Collaborative Virtual Environments (Softcover Reprint of the Original 1st 1999)
$109.99
85
Architecture-Independent Loop Parallelisation (Softcover Reprint of the Original 1st 2000)
★★★★★
★★★★★
4.6
Calinescu, Radu C
Architecture-Independent Loop Parallelisation (Softcover Reprint of the Original 1st 2000)
$109.99
85
Randomized Algorithms: Approximation, Generation, and Counting (Softcover Reprint of the Original 1st 2001)
★★★★★
★★★★★
4.6
Bubley, Russ
Randomized Algorithms: Approximation, Generation, and Counting (Softcover Reprint of the Original 1st 2001)
$109.99
85

🏛 Books from this publisher Springer

Multimedia Information Storage and Management (1996)
★★★★★
★★★★★
4.6
Chung, Soon M
Multimedia Information Storage and Management (1996)
$219.99
85
Searching Multimedia Databases by Content (1996)
★★★★★
★★★★★
4.6
Faloutsos, Christos
Searching Multimedia Databases by Content (1996)
$169.99
85
Modern Aspects of Electrochemistry
★★★★★
★★★★★
4.6
Bockris, John O'm
Modern Aspects of Electrochemistry
$109.99
85
The Psychological Basis of Perfumery (1997)
★★★★★
★★★★★
4.6
Jellinek, J Stephan
The Psychological Basis of Perfumery (1997)
$329.00
85
Modern Aspects of Electrochemistry: Volume 28 (1996)
★★★★★
★★★★★
4.6
Bockris, John O'm
Modern Aspects of Electrochemistry: Volume 28 (1996)
$109.99
85
Naturally Occurring Quinones IV: Recent Advances (1997)
★★★★★
★★★★★
4.6
Thomson, R H
Naturally Occurring Quinones IV: Recent Advances (1997)
$549.99
85
Energetics of Organic Free Radicals (1996)
★★★★★
★★★★★
4.6
Martinho Simoes, Jose a
Energetics of Organic Free Radicals (1996)
$169.99
85

You might also like

See more →
Algorithmic Language and Program Development (Softcover Reprint of the Original 1st 1982) ✨ New
★★★★★
★★★★★
4.6
Partsch, H
Algorithmic Language and Program Development (Softcover Reprint of the Original 1st 1982)
$54.99
85
Intelligent Agents for Mobile and Virtual Media (Softcover Reprint of the Original 1st 2002) ✨ New
★★★★★
★★★★★
4.6
Earnshaw, Rae
Intelligent Agents for Mobile and Virtual Media (Softcover Reprint of the Original 1st 2002)
$54.99
85
Making the E-Business Transformation (Softcover Reprint of the Original 1st 2000) ✨ New
★★★★★
★★★★★
4.6
Gloor, Peter
Making the E-Business Transformation (Softcover Reprint of the Original 1st 2000)
$54.99
85
Digital Convergence: The Information Revolution (Softcover Reprint of the Original 1st 1999) ✨ New
★★★★★
★★★★★
4.6
Vince, John
Digital Convergence: The Information Revolution (Softcover Reprint of the Original 1st 1999)
$54.99
85
Computational Visualization: Graphics, Abstraction and Interactivity (1998) ✨ New
★★★★★
★★★★★
4.6
Strothotte, Thomas
Computational Visualization: Graphics, Abstraction and Interactivity (1998)
$54.99
85
Algebraic Foundations of Systems Specification (Softcover Reprint of the Original 1st 1999) ✨ New
★★★★★
★★★★★
4.6
Astesiano, Egidio
Algebraic Foundations of Systems Specification (Softcover Reprint of the Original 1st 1999)
$54.99
85
Computational Models of Speech Pattern Processing (Softcover Reprint of the Original 1st 1999) ✨ New
★★★★★
★★★★★
4.6
Ponting, Keith
Computational Models of Speech Pattern Processing (Softcover Reprint of the Original 1st 1999)
$54.99
85
Home Genres
Cart
Wishlist