My Library

University LibraryCatalogue

Limit search to items available for borrowing or consultation
Can't find that book? Try BONUS+
Look for full text

Search Discovery

Search CARM Centre Catalogue

Search Trove

Add record to RefWorks

Cover Art
Author Hasegawa, Masahito.

Title Models of Sharing Graphs [electronic resource] : a Categorical Semantics of let and letrec / by Masahito Hasegawa.

Published London : Springer London, 1999.


Location Call No. Status
Physical description 1 online resource (XII, 134 pages).
Series Distinguished Dissertations
Distinguished Dissertations.
Contents 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.
Subject Computer science.
Computer software.
Computer science.
Computer software.
ISBN 9781447108658 (electronic bk.)
1447108655 (electronic bk.)