@article{CTGDC_1990__31_1_13_0, author = {Rodriguez, Fernando Gonzalez and Bahamonde, Antonio}, title = {The topology of continuous partially-additive monoids}, journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques}, volume = {31}, year = {1990}, pages = {13-19}, mrnumber = {1060605}, zbl = {0797.68101}, language = {en}, url = {http://dml.mathdoc.fr/item/CTGDC_1990__31_1_13_0} }
Rodriguez, Fernando Gonzalez; Bahamonde, Antonio. The topology of continuous partially-additive monoids. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 31 (1990) pp. 13-19. http://gdmltest.u-ga.fr/item/CTGDC_1990__31_1_13_0/
1 Partially-additive monoids, graph-growing, and the algebraic semantics of recursive calls, Lecture Notes in Computer Science 73, Springer (1979), 127-138. | MR 565036 | Zbl 0414.68055
& ,2 The pattern-of-calls expansion is the canonical fixpoint for recursive definitions, J. of the Association for Comput. Machinery, ACM 29 (1982), 577-602. | Zbl 0478.68016
& ,3 Partially-additive monoids, Cahiers Top. et Geom. Diff. Cat. XXVI-3 (1985), 221-244. | Numdam | MR 796349 | Zbl 0581.18001
,4 Tensor product of partially-additive monoids, Semigroup Forum 32 (1985), 31-53. | MR 803477 | Zbl 0564.18007
,5 Algebraic approaches to program semantics, Texts and monographs in Computer Science, Springer 1980. | MR 860560 | Zbl 0599.68008
& ,6 A compendium of continuous lattices, Springer 1980. | MR 614752 | Zbl 0452.06001
, , , & ,7 Monoides parcialmente aditivos, PhD dissertation, Univ. of Oviedo 1989.
,8 The inverse semigroup of a sum-ordered semiring, Semigroup Forum 31 (1985), 129-152. | MR 784416 | Zbl 0549.06014
& ,9 Continuous lattices, Lecture Notes in Math. 274, Springer (1972). | MR 404073 | Zbl 0239.54006
,