Publisher
Springer Science and Business Media LLC
Subject
Algebra and Number Theory
Reference10 articles.
1. Arbib, M.A. and E.G. Manes.Partially-additive monoids, graph-growing, and the algebraic semantics of recursive calls. Lecture Notes in Computer Sciences, Springer-Verlag 73 (1979), 127–138.
2. Arbib, M.A. and E.G. Manes.The pattern-of-calls expan sion is the canonical fixpoint for recursive definitions. Journal of ACM 29 (1982), 577–602.
3. Arbib, M.A. and E.G. Manes.Formal Semantics of Progra mming Languages. Springer-Verlag, to appear.
4. Backus, J.W.Can programming be liberate from the Von Neumann style?.A functional style and its algebra of programs. Comunications of the ACM 21 (1978), 613–641.
5. Bahamonde, A..Partially-additive monoids. To appear in Cahiers de Topologie et Géométrie Différentielle.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Weighted models for higher-order computation;Information and Computation;2020-12
2. Fixed Points In Quantitative Semantics;Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science;2016-07-05
3. A categorical analogue of the monoid semiring construction;Mathematical Structures in Computer Science;2012-10-09