The topology of continuous partially-additive monoids
Fernando Gonzalez Rodriguez; Antonio Bahamonde
Cahiers de Topologie et Géométrie Différentielle Catégoriques (1990)
- Volume: 31, Issue: 1, page 13-19
- ISSN: 1245-530X
Access Full Article
top
How to cite
topRodriguez, Fernando Gonzalez, and Bahamonde, Antonio. "The topology of continuous partially-additive monoids." Cahiers de Topologie et Géométrie Différentielle Catégoriques 31.1 (1990): 13-19. <http://eudml.org/doc/91449>.
@article{Rodriguez1990,
author = {Rodriguez, Fernando Gonzalez, Bahamonde, Antonio},
journal = {Cahiers de Topologie et Géométrie Différentielle Catégoriques},
keywords = {continuous partially additive monoids; denotational semantics; order semantics; partially additive semantics},
language = {eng},
number = {1},
pages = {13-19},
publisher = {Dunod éditeur, publié avec le concours du CNRS},
title = {The topology of continuous partially-additive monoids},
url = {http://eudml.org/doc/91449},
volume = {31},
year = {1990},
}
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
PB - Dunod éditeur, publié avec le concours du CNRS
VL - 31
IS - 1
SP - 13
EP - 19
LA - eng
KW - continuous partially additive monoids; denotational semantics; order semantics; partially additive semantics
UR - http://eudml.org/doc/91449
ER -
References
top- 1 Arbib, M.A. & Manes, E.G., Partially-additive monoids, graph-growing, and the algebraic semantics of recursive calls, Lecture Notes in Computer Science73, Springer (1979), 127-138. Zbl0414.68055MR565036
- 2 Arbib, M.A. & Manes, E.G., The pattern-of-calls expansion is the canonical fixpoint for recursive definitions, J. of the Association for Comput. Machinery, ACM29 (1982), 577-602. Zbl0478.68016
- 3 Bahamonde, A., Partially-additive monoids, Cahiers Top. et Geom. Diff. Cat.XXVI-3 (1985), 221-244. Zbl0581.18001MR796349
- 4 Bahamonde, A., Tensor product of partially-additive monoids, Semigroup Forum32 (1985), 31-53. Zbl0564.18007MR803477
- 5 Manes E.G. & Arbib, M.A., Algebraic approaches to program semantics, Texts and monographs in Computer Science, Springer1980. Zbl0599.68008MR860560
- 6 Gierz, G., Hofmann, K.H., Keimel, K. Lawson, J.D., Mislo-Ve, M. & Scott, D., A compendium of continuous lattices, Springer1980. Zbl0452.06001MR614752
- 7 Gonzalez Rodriguez, M.F., Monoides parcialmente aditivos, PhD dissertation, Univ. of Oviedo1989.
- 8 Manes, E.G. & Benson, D.B., The inverse semigroup of a sum-ordered semiring, Semigroup Forum31 (1985), 129-152. Zbl0549.06014MR784416
- 9 Scott, D., Continuous lattices, Lecture Notes in Math.274, Springer (1972). Zbl0239.54006MR404073
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.