Cover Image

Models of Sharing Graphs : a Categorical Semantics of let and letrec /

Show other versions (1)
Bibliographic Details
Main Author: Hasegawa, Masahito
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: London : Springer London, 1999.
Series:Distinguished dissertations.
Subjects:
Computer science.
Computer software.
Electronic books.
Online Access:Connect to the full text of this electronic book
Table of 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.