Finiteness spaces and generalized power series

DOI10.1016/j.entcs.2018.11.002OpenAlexW2964086781WikidataQ113317498 ScholiaQ113317498MaRDI QIDQ2134813

Richard F. Blute, J. Robin B. Cockett, Pierre-Alain Jacqmin, Philip J. Scott

Publication date: 3 May 2022

Full work available at URL: https://arxiv.org/abs/1805.09836

zbMATH Keywords

posetlinearizationpower seriesPuiseux seriespartially ordered monoidpartial functionartinian posetfiniteness spacenarrow poset

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Finiteness spaces, étale groupoids and their convolution algebras ⋮ Archimedean domains of skew generalized power series

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Feynman motives of banana graphs
• Rings of generalized power series: Nilpotent elements
• Noetherian rings of generalized power series
• Rings of generalized power series. II: Units and zero-divisors
• Behavioural differential equations: a coinductive calculus of streams, automata, and power series
• The differential lambda-calculus
• On Morita equivalence of partially ordered monoids
• Morita theorems for partially ordered monoids
• Differential categories
• ROTA–BAXTER OPERATORS ON GENERALIZED POWER SERIES RINGS
• Semirings and Formal Power Series
• Finiteness spaces
• Ordering by Divisibility in Abstract Algebras

This page was built for publication: Finiteness spaces and generalized power series