Models of Sharing Graphs : a Categorical Semantics of let and letrec /
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
London :
Springer London,
1999.
|
| Series: | Distinguished dissertations.
|
| Subjects: | |
| 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.