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]](http://authors.library.caltech.edu/style/images/fileicons/other.png)
|
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
