A Theory of Sequential Functions
Abstract
S-functions are a generalisation of Berry's stable functions, for being intensionally stable, so that they need not domains to be distributif. In this paper, we show that together with S-domains, they constitute an oder-enriched Lambda -category which is a retract of the category of domains and continuous functions, and we provide a sequential algorithm for computing all the finite elements of S-domains.