Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 232,521,227 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
25 relations
Abstract data type
Ackermann function
Algebraic data type
Anamorphism
Expand
Broader (3)
Category theory
Functional programming
Type theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation
A. Bucchiarone
,
H. Ehrig
,
C. Ermel
,
Patrizio Pelliccione
,
Olga Runge
Software, Services, and Systems
2015
Corpus ID: 12475224
Software systems nowadays require continuous operation despite changes both in user needs and in their operational environments…
Expand
2013
2013
Amalgam for zero-dimensional schemes
N. Timofeeva
2013
Corpus ID: 120145675
The construction for amalgamated sum for zero-dimensional Grothendieck' schemes is done as a dual for universal (fibred) product…
Expand
2011
2011
The Recursion Scheme from the Cofree Recursive Comonad
Tarmo Uustalu
,
Varmo Vene
MSFP@ICALP
2011
Corpus ID: 16135899
1999
1999
On coalgebra of real numbers
Dusko Pavlovic
,
V. Pratt
International Workshop on Coalgebraic Methods in…
1999
Corpus ID: 16400047
1995
1995
Operads, Grothendieck topologies and Deformation theory
D. Gaitsgory
1995
Corpus ID: 8586420
The idea of the work is to find an invariant way to pass from deformation theory to cohomology, which does not use any explicit…
Expand
1994
1994
A recursive second order initial algebra specification of primitive recursion
K. Meinke
Acta Informatica
1994
Corpus ID: 44545432
Theoretical results on the scope and limits of first order algebraic specifications can be used to show that certain natural…
Expand
1991
1991
A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory
T. H. Tse
1991
Corpus ID: 58173462
Structured methodologies are a popular and powerful tool in information systems development. Many different ones exist, each…
Expand
1986
1986
Partial Evaluation and omega-Completeness of Algebraic Specifications
J. Heering
Theoretical Computer Science
1986
Corpus ID: 205092564
1986
1986
Integrating the Structured Analysis and Design Models: an Initial Algebra Approach
T. H. Tse
Australian Computer Journal
1986
Corpus ID: 27880524
Numerous models have been proposed under the name of structured systems analysis and design. Because of the lack of a common…
Expand
1981
1981
Initial Algebra Specifications for Parametrized Data Types
J. Bergstra
,
J. Klop
Journal of Information Processing and Cybernetics
1981
Corpus ID: 41546966
Ab.stract: We consider parametrized data types <P: Alg(.!') __.. Alg(LI) where <P is a partial functor from the class of all…
Expand
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)
ACCEPT & CONTINUE