Recursion and Infinitely Deep CBPV
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.
KeywordsParse Tree Denotational Semantic Compact Element Continuous Functor Closed Computation
Unable to display preview. Download preview PDF.