Partially-additive monoids
Cahiers de Topologie et Géométrie Différentielle Catégoriques (1985)
- Volume: 26, Issue: 3, page 221-244
- ISSN: 1245-530X
Access Full Article
topHow to cite
topBahamonde, Antonio. "Partially-additive monoids." Cahiers de Topologie et Géométrie Différentielle Catégoriques 26.3 (1985): 221-244. <http://eudml.org/doc/91363>.
@article{Bahamonde1985,
author = {Bahamonde, Antonio},
journal = {Cahiers de Topologie et Géométrie Différentielle Catégoriques},
keywords = {partial algebra; partially additive monoid; pams; algebraic theory; category of sets and partial functions; additive topology; continuous lattices},
language = {eng},
number = {3},
pages = {221-244},
publisher = {Dunod éditeur, publié avec le concours du CNRS},
title = {Partially-additive monoids},
url = {http://eudml.org/doc/91363},
volume = {26},
year = {1985},
}
TY - JOUR
AU - Bahamonde, Antonio
TI - Partially-additive monoids
JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY - 1985
PB - Dunod éditeur, publié avec le concours du CNRS
VL - 26
IS - 3
SP - 221
EP - 244
LA - eng
KW - partial algebra; partially additive monoid; pams; algebraic theory; category of sets and partial functions; additive topology; continuous lattices
UR - http://eudml.org/doc/91363
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 fix-point for recursive definitions, J. of the Association for Comput. Machinery29 (1982), 577-602. Zbl0478.68016
- 3 Arbib, M.A. & Manes, E.G., Formal Semantics of programming Languages, Springer (to appear). Zbl0413.68054
- 4 Bahamonde, A., Tensor product of partially-additive monoids, Semigroup Forum (To appear). Zbl0564.18007MR803477
- 5 Bahamonde, A. & Lopez Garcia, S., Monoides parcialmente aditivos en la Teoria de la Informacion, Stochastica (To appear).
- 6 Gierz, G. & al, A compendium of continuous lattices, Springer, 1980. Zbl0452.06001MR614752
- 7 Guitart, R., Tenseurs et machines, Cahiers Top. et Géom. Diff.XXI-1 (1980), 5-62. Zbl0477.18007MR569117
- 8 Manes, E.G., Algebraic Theories, GTM 26, Springer, 1976. Zbl0353.18007MR419557
- 9 Manes, E.G. & Benson, D.B., The inverse semigroup of a so-ring, Semigroup Forum Zbl0549.06014
- 10 Markowsky, G., Chain-complete posets and directed sets with applications, Algebra Universalis6 (1976), 53-68. Zbl0332.06001MR398913
- 11 Scott, D.S., Continuous lattices, Lecture Notes in Math.274 (1972), Springer. Zbl0239.54006MR404073
- 12 Scott, D.S., Domains for denotational Semantics, ICALP'82. Zbl0495.68025
Citations in EuDML Documents
topNotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.