An Inverse Limit Construction of a Domain of Infinite Lists

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 non﷓terminating programs is illustrated.