An Inverse Limit Construction of a Domain of Infinite Lists
Young-il Choo · 1985
A domain of infinite lists is constructed by taking the inverse limit of a chain of finite list domain ordered by projection. The resulting space, called L infinity, is shown to be a complete partial order. I use as a semantic domain for nonterminating programs is illustrated.