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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1974-2017
0102019742017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Homotopy Type Theory is a new field of mathematics based on the recently-discovered correspondence between Martin-Löf's… (More)
  • figure 3.1
Is this relevant?
2015
2015
Although different satisfiability decision procedures can be combined by algorithms such as those of Nelson-Oppen or Shostak… (More)
Is this relevant?
2007
2007
Initial algebra semantics is a cornerstone of the theory of modern functional programming languages. For each inductive data type… (More)
Is this relevant?
2003
2003
Induction-recursion is a powerful definition method in intuitionistic type theory. It extends (generalized) inductive definitions… (More)
Is this relevant?
2003
2003
We present an extension of first-order term rewriting systems, which involves variable binding in the term language. We develop… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Review
1997
Review
1997
Algebraic structures which are generated by a collection of constructors| like natural numbers (generated by a zero and a… (More)
Is this relevant?
1995
1995
The initial-algebra approach to modelling datatypes consists of giving constructors for building larger objects of that type from… (More)
  • figure 1
  • figure 3
  • figure 7
  • figure 12
  • figure 13
Is this relevant?
1994
1994
Bergstra, J.A. and J. Heering, Which data types have o-complete initial algebra specifications’?, Theoretical Computer Science… (More)
  • figure 2
Is this relevant?
Highly Cited
1993
Highly Cited
1993
The aim of this paper is to relate initial algebra semantics and nal coalgebra semantics It is shown how these two approaches to… (More)
Is this relevant?
Review
1977
Review
1977
Many apparently divergent approaches to specifying formal semantics of programming languages are applications of initial algebra… (More)
  • figure 2
Is this relevant?