@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},
pages = {13--19},
year = {1990},
publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
volume = {31},
number = {1},
mrnumber = {1060605},
zbl = {0797.68101},
language = {en},
url = {https://www.numdam.org/item/CTGDC_1990__31_1_13_0/}
}
TY - JOUR AU - Rodriguez, Fernando Gonzalez AU - Bahamonde, Antonio TI - The topology of continuous partially-additive monoids JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques PY - 1990 SP - 13 EP - 19 VL - 31 IS - 1 PB - Dunod éditeur, publié avec le concours du CNRS UR - https://www.numdam.org/item/CTGDC_1990__31_1_13_0/ LA - en ID - CTGDC_1990__31_1_13_0 ER -
%0 Journal Article %A Rodriguez, Fernando Gonzalez %A Bahamonde, Antonio %T The topology of continuous partially-additive monoids %J Cahiers de Topologie et Géométrie Différentielle Catégoriques %D 1990 %P 13-19 %V 31 %N 1 %I Dunod éditeur, publié avec le concours du CNRS %U https://www.numdam.org/item/CTGDC_1990__31_1_13_0/ %G en %F 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) no. 1, pp. 13-19. https://www.numdam.org/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. | Zbl | MR
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
3 , Partially-additive monoids, Cahiers Top. et Geom. Diff. Cat. XXVI-3 (1985), 221-244. | Zbl | MR | Numdam
4 , Tensor product of partially-additive monoids, Semigroup Forum 32 (1985), 31-53. | Zbl | MR
5 & , Algebraic approaches to program semantics, Texts and monographs in Computer Science, Springer 1980. | Zbl | MR
6 , , , & , A compendium of continuous lattices, Springer 1980. | Zbl | MR
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. | Zbl | MR
9 , Continuous lattices, Lecture Notes in Math. 274, Springer (1972). | Zbl | MR





