Recursion and Infinitely Deep CBPV

  • Paul Blain Levy
Part of the Semantic Structures in Computation book series (SECO, volume 2)


This chapter is about the computational effect of divergence. There is little original work here; our aim is to recall and adapt well-known material, which is not specific to CBPV, for use in subsequent chapters, notably our treatment of thunk storage in Sect. 6.10.


Parse Tree Denotational Semantic Compact Element Continuous Functor Closed Computation 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media Dordrecht 2003

Authors and Affiliations

  • Paul Blain Levy
    • 1
  1. 1.School of Computer ScienceUniversity of BirminghamUK

Personalised recommendations