# Retracts of SFP objects

Conference paper

First Online:

## Preview

Unable to display preview. Download preview PDF.

## References

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