My Library

University LibraryCatalogue

Limit search to items available for borrowing or consultation
Look for full text

Search Discovery

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.)