Abstract
We have studied models of both higher-order acyclic sharing theories (Chapter 4) and (first-order) cyclic sharing theories (Chapter 6), as two orthogonal extensions of (first-order) acyclic sharing theories (Chapter 3). Now we are ready to deal with the most interesting setting in this thesis: the combination of the higher-order extension with cyclic sharing. The consequence is more than an ad hoc combination of two ideas. First, we get a wider class of models of recursive computation, which properly contains the traditional models such as domain theoretic examples but also some nontraditional examples, which are suitable for explaining recursive computation from resource-sensitive cyclic computation, i.e. recursion from cyclic sharing. Second, our theory is closely related to cyclic lambda calculi (lambda calculi with cyclic sharing) which have been studied as a foundation for practical implementation of functional recursive computation. Therefore our result relates a rich class of models and practically interesting calculi: cyclic lambda calculi serve as languages for our new class of models of recursion, while our models serve as a semantic counterpart of cyclic lambda calculi.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag London Limited
About this chapter
Cite this chapter
Hasegawa, M. (1999). Recursion from Cyclic Sharing. In: Models of Sharing Graphs. Distinguished Dissertations. Springer, London. https://doi.org/10.1007/978-1-4471-0865-8_7
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0865-8_7
Publisher Name: Springer, London
Print ISBN: 978-1-4471-1221-1
Online ISBN: 978-1-4471-0865-8
eBook Packages: Springer Book Archive