The category-theoretic solution of recursive domain equations
- 1 September 1977
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 02725428,p. 13-17
- https://doi.org/10.1109/sfcs.1977.30
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Effectively given domainsTheoretical Computer Science, 1977
- Data Types as LatticesSIAM Journal on Computing, 1976
- A Powerdomain ConstructionSIAM Journal on Computing, 1976
- PowerdomainsLecture Notes in Computer Science, 1976
- Continuous latticesLecture Notes in Mathematics, 1972