On the construction of free algebras for equational systems
DOI10.1016/J.TCS.2008.12.052zbMATH Open1170.18006OpenAlexW2102036964MaRDI QIDQ1014644FDOQ1014644
Authors: Chung-Kil Hur, Marcelo P. Fiore 
Publication date: 29 April 2009
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2008.12.052
Recommendations
- Equational Systems and Free Constructions (Extended Abstract)
- Free set algebras satisfying systems of equations
- Free equivalential algebras
- scientific article; zbMATH DE number 1867120
- The equational theory of union-free algebras of relations
- A dynamic programming method for building free algebras
- Free systems of algebras and ultraclosed classes
- scientific article; zbMATH DE number 3847367
- Equational axiomatization of algebras with structure
- An algebraic treatment of quantifier-free systems of arithmetic
Logic in computer science (03B70) Free algebras (08B20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Equational categories (18C05)
Cites Work
- Algebraic operations and generic effects
- The semantics and proof theory of the logic of bunched implications
- Nominal equational logic
- 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?)
- A new approach to abstract syntax with variable binding
- Computational effects and operations: an overview
- A note on actions of a monoidal category
- Title not available (Why is that?)
- On closed categories of functors
- Variations on algebra: Monadicity and generalisations of equational theories
- Strong functors and monoidal monads
- A fully abstract model for the \(\pi\)-calculus.
- Title not available (Why is that?)
- A Formal Calculus for Informal Equality with Binding
- Title not available (Why is that?)
- Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
- Equational Systems and Free Constructions (Extended Abstract)
- Dualising initial algebras
- Concrete domains
- Title not available (Why is that?)
- Programming Languages and Systems
- Title not available (Why is that?)
- Datatype laws without signatures
- Foundations of Software Science and Computational Structures
Cited In (31)
- Title not available (Why is that?)
- Monad transformers as monoid transformers
- The structure of free algebras
- On free representing systems
- Title not available (Why is that?)
- Free term algebras
- List Objects with Algebraic Structure
- Variable binding and substitution for (nameless) dummies
- Title not available (Why is that?)
- Title not available (Why is that?)
- Structured handling of scoped effects
- Title not available (Why is that?)
- Constructing initial algebras using inflationary iteration
- FREE ALGEBRAS—ARE THEY CATEGORICALLY DEFINABLE?
- Quotients, inductive types, and quotient inductive types
- Variable binding and substitution for (nameless) dummies
- Coequalizers and free triples. II
- A survey on the categorical term construction with applications
- Term equational systems and logics (extended abstract)
- Equational Systems and Free Constructions (Extended Abstract)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Letterplace
- On generalizing free algebras for a functor.
- Free algebras in varieties.
- A categorical framework for congruence of applicative bisimilarity in higher-order languages
- Title not available (Why is that?)
- Title not available (Why is that?)
- An algorithm for free algebras.
- Equational Theories of Scattered and Countable Series-Parallel Posets
- Title not available (Why is that?)
This page was built for publication: On the construction of free algebras for equational systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1014644)
