Sequentiality

This report contains an overview of concrete data structures, sequential functions and sequential algorithms. We define the notions of concrete data structures and prove the representation theorem. Next, we present the notions of sequential functions and of sequential algorithms, and show how the latter can serve as a model for PCF. Finally, we present the language CDS0, designed as a syntax for concrete data structures and sequential algorithms.