ALGEBRAIC DOMAIN EQUATIONS

[21] T-OMEGA AS A UNIVERSAL DOMAIN [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1978, 17 (02) : 209 - 236

[22] Plotkin G. D., 1976, SIAM Journal on Computing, V5, P452, DOI 10.1137/0205035

[23] Schubert H., 1970, KATEGORIEN, VII

[24] Schubert H., 1970, KATEGORIEN, VI

[25] Scott D., 1976, SIAM Journal on Computing, V5, P522, DOI 10.1137/0205037

[26] SCOTT D, 1972, FORMAL SEMANTICS PRO, P65

[27] Scott D. S., 1972, LECT NOTES MATH, V274, P97, DOI DOI 10.1007/BFB0073967

[28] Smyth M. B., 1977, Theoretical Computer Science, V5, P257, DOI 10.1016/0304-3975(77)90045-7

[29] Smyth M. B., 1977, 18th Annual Symposium on Foundations of Computer Science, P13, DOI 10.1109/SFCS.1977.30

[30] SMYTH MB, 1976, LECTURE NOTES COMPUT, V45, P537

[21] T-OMEGA AS A UNIVERSAL DOMAIN [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1978, 17 (02) : 209 - 236

[22] Plotkin G. D., 1976, SIAM Journal on Computing, V5, P452, DOI 10.1137/0205035

[23] Schubert H., 1970, KATEGORIEN, VII

[24] Schubert H., 1970, KATEGORIEN, VI

[25] Scott D., 1976, SIAM Journal on Computing, V5, P522, DOI 10.1137/0205037

[26] SCOTT D, 1972, FORMAL SEMANTICS PRO, P65

[27] Scott D. S., 1972, LECT NOTES MATH, V274, P97, DOI DOI 10.1007/BFB0073967

[28] Smyth M. B., 1977, Theoretical Computer Science, V5, P257, DOI 10.1016/0304-3975(77)90045-7

[29] Smyth M. B., 1977, 18th Annual Symposium on Foundations of Computer Science, P13, DOI 10.1109/SFCS.1977.30

[30] SMYTH MB, 1976, LECTURE NOTES COMPUT, V45, P537