List Objects with Algebraic Structure
From MaRDI portal
Publication:5111312
Recommendations
Cites work
- scientific article; zbMATH DE number 2134022 (Why is no real title available?)
- scientific article; zbMATH DE number 5695342 (Why is no real title available?)
- scientific article; zbMATH DE number 3944108 (Why is no real title available?)
- scientific article; zbMATH DE number 3989612 (Why is no real title available?)
- scientific article; zbMATH DE number 50149 (Why is no real title available?)
- scientific article; zbMATH DE number 3458870 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 521219 (Why is no real title available?)
- scientific article; zbMATH DE number 1373521 (Why is no real title available?)
- scientific article; zbMATH DE number 4122189 (Why is no real title available?)
- scientific article; zbMATH DE number 3265861 (Why is no real title available?)
- A divertimento on MonadPlus and nondeterminism
- A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
- AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
- Algebraic specification of data types: A synthetic approach
- Algebras for combinatorial search
- An equational metalogic for monadic equational systems
- Axiomatic Domain Theory in Categories of Partial Maps
- Bilinearity and Cartesian Closed Monads.
- Categorical fixed point calculus
- Eilenberg-Moore monoids and backtracking monad transformers
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
- Homotopy-everything 𝐻-spaces
- Linear Recursive Functions
- List-arithmetic distributive categories: Locoi
- Modular Monad Transformers
- Modules over Monads and Linearity
- Monads and monoids on symmetric monoidal closed categories
- Monoidal categories with natural numbers object
- On the construction of free algebras for equational systems
- Operads and PROPs
- Polynomial functors and opetopes
- Primitive recursive functions
- Second-Order Equational Logic (Extended Abstract)
- Strong functors and monoidal monads
- The geometry of iterated loop spaces
- The web monoid and opetopic sets
Cited in
(7)- scientific article; zbMATH DE number 7559272 (Why is no real title available?)
- scientific article; zbMATH DE number 7447764 (Why is no real title available?)
- scientific article; zbMATH DE number 7779295 (Why is no real title available?)
- scientific article; zbMATH DE number 7577567 (Why is no real title available?)
- Actads
- An algebraic theory for shared-state concurrency
- A categorical framework for congruence of applicative bisimilarity in higher-order languages
This page was built for publication: List Objects with Algebraic Structure
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111312)