Graded monads and rings of polynomials

DOI10.1007/s10958-008-9013-7zbMath1288.18009OpenAlexW2016389769MaRDI QIDQ2451246

A. L. Smirnov

Publication date: 3 June 2014

Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10958-008-9013-7

Mathematics Subject Classification ID

Graded rings and modules (associative rings and algebras) (16W50) Categorical structures (18D99) Associative rings and algebras arising under various constructions (16S99)

Related Items (10)

When programs have to watch paint dry ⋮ Flexibly graded monads and graded algebras ⋮ A type system with subtyping for WebAssembly's stack polymorphism ⋮ Divergences on monads for relational program logics ⋮ Canonical Gradings of Monads ⋮ Unnamed Item ⋮ Graded algebraic theories ⋮ Unnamed Item ⋮ Graded Hoare logic and its categorical semantics ⋮ Towards a Formal Theory of Graded Monads

Cites Work

• New Approach to Arakelov Geometry
• Unnamed Item

This page was built for publication: Graded monads and rings of polynomials