CaltechAUTHORS
  A Caltech Library Service

An Inverse Limit Construction of a Domain of Infinite Lists

Choo, Young-il (1985) An Inverse Limit Construction of a Domain of Infinite Lists. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1985.5204-tr-85

[img]
Preview
Other (Adobe PDF (318KB))
See Usage Policy.

310Kb

Use this Persistent URL to link to this item: http://resolver.caltech.edu/CaltechCSTR:1985.5204-tr-85

Abstract

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.


Item Type:Report or Paper (Technical Report)
Group:Computer Science Technical Reports
Record Number:CaltechCSTR:1985.5204-tr-85
Persistent URL:http://resolver.caltech.edu/CaltechCSTR:1985.5204-tr-85
Usage Policy:You are granted permission for individual, educational, research and non-commercial reproduction, distribution, display and performance of this work in any format.
ID Code:26906
Collection:CaltechCSTR
Deposited By: Imported from CaltechCSTR
Deposited On:30 Nov 2001
Last Modified:26 Dec 2012 14:09

Repository Staff Only: item control page