Cartesian closed categories of algebraic CPOs
- 26 January 1990
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 70 (2) , 233-250
- https://doi.org/10.1016/0304-3975(90)90124-z
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- New results on hierarchies of domainsPublished by Springer Nature ,1988
- The largest cartesian closed category of domainsTheoretical Computer Science, 1983
- A Powerdomain ConstructionSIAM Journal on Computing, 1976