Abstract
This chapter has two parts. The first part (Sect. 6.1–6.5) presents the language and operational semantics, whereas the second part (Sect. 6.6–6.10) presents a denotational model using possible worlds. The pointer game semantics in Chap. 8 models cell generation too, and therefore Chap. 8 presupposes Sect. 6.1–6.3.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
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
© 2003 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Levy, P.B. (2003). Possible World Model for Cell Generation. In: Call-By-Push-Value. Semantic Structures in Computation, vol 2. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-0954-6_6
Download citation
DOI: https://doi.org/10.1007/978-94-007-0954-6_6
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-3752-5
Online ISBN: 978-94-007-0954-6
eBook Packages: Springer Book Archive