Skip to search formSkip to main contentSkip to account menu

Initial algebra

In mathematics, an initial algebra is an initial object in the category of -algebras for a given endofunctor . The initiality provides a general… 
Wikipedia (opens in a new tab)

Related topics

Related topics

25 relations
Abstract data typeAckermann functionAlgebraic data typeAnamorphism

Broader (3)

Category theoryFunctional programmingType theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
The Recursion Scheme from the Cofree Recursive Comonad
2007
2007
Measured quantum groupoids in action
Frank Lesieur a introduit dans sa these (maintenant publiee dans une version revisee et completee dans les Memoires de la SMF… 
2002
2002
Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors
2001
2001
A Coalgebraic Modelling of Head-Driven Phrase Structure Grammar
This paper provides a coalgebraic modelling of Head-Driven Phrase Structure Grammar. HPSG is a licensing theory in the sense that… 
Review
2000
Review
2000
Building Equational Proving Tools by Reflection in Rewriting Logic
Highly Cited
1999
Highly Cited
1999
A Coalgebraic Foundation for Linear Time Semantics
1999
1999
On coalgebra of real numbers
1995
1995
Operads, Grothendieck topologies and Deformation theory
The idea of the work is to find an invariant way to pass from deformation theory to cohomology, which does not use any explicit… 
1986
1986
Partial Evaluation and omega-Completeness of Algebraic Specifications
1981
1981
Initial Algebra Specifications for Parametrized Data Types
Ab.stract: We consider parametrized data types <P: Alg(.!') __.. Alg(LI) where <P is a partial functor from the class of all… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)