Cartesian closed categories of FƵ-domains
- 15 November 2013
- journal article
- research article
- Published by Springer Nature in Acta Mathematica Sinica, English Series
- Vol. 29 (12) , 2373-2390
- https://doi.org/10.1007/s10114-013-1240-2
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Continuous Lattices and DomainsPublished by Cambridge University Press (CUP) ,2003
- The classification of continuous domainsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Introduction to Lattices and OrderPublished by Cambridge University Press (CUP) ,2002
- The largest cartesian closed category of stable domainsTheoretical Computer Science, 1996
- Z-continuous posetsDiscrete Mathematics, 1996
- Cartesian closed categories of algebraic CPOsTheoretical Computer Science, 1990
- The largest cartesian closed category of domainsTheoretical Computer Science, 1983
- The category of Z-continuous posetsJournal of Pure and Applied Algebra, 1983
- A uniform approach to inductive posets and inductive closureTheoretical Computer Science, 1978
- A Powerdomain ConstructionSIAM Journal on Computing, 1976