Retracts of SFP objects

  • Tsutomu Kamimura
  • Adrian Tang
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 239)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Esorig, D. F. Probablistic Powerdomain, manuscript, 1983.Google Scholar
  2. [2]
    Kamimura, T. and Tang, A. "Algebraic Relations and Presentations," Theoretical Computer Science 27, 1983, pp. 39–60.Google Scholar
  3. [3]
    Kamimura, T. and Tang, A. "Effectively Given Spaces," Theoretical Computer Science 29, 1984, pp. 155–166.Google Scholar
  4. [4]
    Kamimura, T. and Tang, A. Finitely Continuous Posets, University of Kansas, TR-84-1, February, 1984.Google Scholar
  5. [5]
    Kozen, D. "Semantics of Probablistic Programs," 20th IEEE Symposium on Foundations of Computer Sciences 1979, pp. 101–114.Google Scholar
  6. [6]
    Main, G. M. "Semiring Module Powerdomains," University of Colorado, CU-CS-286-84, December 1984.Google Scholar
  7. [7]
    Plotkin, G. D. "A Powerdomain Construction," SIAM J. Computing, Vol. 5, No. 3, 1976, pp. 452–587.Google Scholar
  8. [8]
    Plotkin, G. D. "Tω as a Universal Domain," Journal of Computer System Sciences, Vol. 17 (1978), pp. 209–236.Google Scholar
  9. [9]
    Scott, D. "Continuous Lattices," Lecture Notes in Mathematics 274 (1970), pp. 97–136.Google Scholar
  10. [10]
    Scott, D. "Lattice Theory, Data Types and Semantics," Formal Semantics of Programming Languages (edited by R. Rustin), 1972, pp. 65–106.Google Scholar
  11. [11]
    Scott, D. Lecture on a Mathematical Theory of Computation, Oxford University Computing Laboratory, Techn. Monograph PRG-19, 1981.Google Scholar
  12. [12]
    Scott, D. "Domains for Denotational Semantics," Proc. of 9th ICALP, 1982.Google Scholar
  13. [13]
    Smyth, M. B. "Effectively Given Domains," Theoretical Computer Science, Vol. 5, 1977, pp. 257–274.Google Scholar
  14. [14]
    Smyth, M. B. "The Largest Cartesian Closed Category of Domains," Theoretical Computer Science 27, 1983, pp. 109–119.Google Scholar
  15. [15]
    Smyth, M. B. and Plotkin, G. D. "Categorical Solutions of Reflexive Domain Equations," Proceedings of FOCS, 1977.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Tsutomu Kamimura
    • 1
  • Adrian Tang
    • 1
  1. 1.Department of Computer ScienceUniversity of KansasLawrence

Personalised recommendations