List Objects with Algebraic Structure
DOI10.4230/LIPICS.FSCD.2017.16zbMATH Open1441.68016OpenAlexW2758075124MaRDI QIDQ5111312FDOQ5111312
Marcelo P. Fiore, Philip Saville
Publication date: 26 May 2020
Full work available at URL: https://doi.org/10.4230/LIPIcs.FSCD.2017.16
free monoidopetopelist objectnear semiringstrong monadsecond-order algebraic theoryCartesian algebraic theoryHaskell monad type classlinear algebraic theory
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The geometry of iterated loop spaces
- Categorical fixed point calculus
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- The web monoid and opetopic sets
- Linear Recursive Functions
- AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
- Monoidal categories with natural numbers object
- Strong functors and monoidal monads
- Operads and PROPs
- Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
- Bilinearity and Cartesian Closed Monads.
- A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
- Modular Monad Transformers
- List-arithmetic distributive categories: Locoi
- Polynomial functors and opetopes
- Homotopy-everything 𝐻-spaces
- On the construction of free algebras for equational systems
- Algebraic specification of data types: A synthetic approach
- Axiomatic Domain Theory in Categories of Partial Maps
- Primitive recursive functions
- Second-Order Equational Logic (Extended Abstract)
- Algebras for combinatorial search
- Monads and monoids on symmetric monoidal closed categories
- Modules over Monads and Linearity
- A divertimento on MonadPlus and nondeterminism
- An equational metalogic for monadic equational systems
Cited In (7)
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)
