Tensor product of partially-additive monoids

DOI10.1007/BF02575521zbMath0564.18007MaRDI QIDQ1057976

Antonio Bahamonde

Publication date: 1985

Published in: Semigroup Forum (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/134765

zbMATH Keywords

programming languagesalgebraic semanticstensor productsemiringsclosed categoryPartially-additive monoids

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Categories of machines, automata (18B20)

Related Items

Unnamed Item, Weighted models for higher-order computation, A categorical analogue of the monoid semiring construction, Unnamed Item

Cites Work

• The inverse semigroup of a sum-ordered semiring
• Tensor products of semilattices and distributive lattices
• The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions
• Can programming be liberated from the von Neumann style?
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item