The versatile continuous order

This publication has 17 references indexed in Scilit:

• Power domains and predicate transformers: A topological view
  Published by Springer Nature ,2005
• Retracts of SFP objects
  Lecture Notes in Computer Science, 1986
• The largest cartesian closed category of domains
  Theoretical Computer Science, 1983
• Continuous posets, prime spectra of completely distributive complete lattices, and Hausdorff compactifications
  Published by Springer Nature ,1981
• Projective sober spaces
  Published by Springer Nature ,1981
• The spectral theory of distributive continuous lattices
  Transactions of the American Mathematical Society, 1978
• Chain-complete posets and directed sets with applications
  Algebra universalis, 1976
• Data Types as Lattices
  SIAM Journal on Computing, 1976
• A Powerdomain Construction
  SIAM Journal on Computing, 1976
• On topological quotient maps preserved by pullbacks or products
  Mathematical Proceedings of the Cambridge Philosophical Society, 1970