Models of Sharing Graphs
Subtitle: A Categorical Semantics of let and letrec
By: by Masahito Hasegawa
Series: Distinguished Dissertations; Distinguished Dissertations
Publisher: Springer London
Published: 1999
Place of publication: London
Language: eng
Format: [electronic resource] :
Number of pages: 134
ISBN-13: 9781447108658
Table of contents: title: Introduction; title: Sharing Graphs and Equational Presentation; title: Models of Acyclic Sharing Theroy; title: Higher Order Extension; title: Relating Models; title: Models of Cyclic Sharing Theory; title: Recursion from Cyclic Sharing; title: Action Calculi; title: Conclusion; title: Proofs; title: Bibliography; title: Index.