Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,332,893 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.
2016
2016
Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems
M. Bernardo
,
Marino Miculan
Italian Conference on Theoretical Computer…
2016
Corpus ID: 7905972
Larsen and Skou characterized probabilistic bisimilarity over reactive probabilistic systems with a logic including true…
Expand
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
2015
2015
un 2 01 5 The p-adic Integers as Final Coalgebra
P. Bhattacharya
2015
Corpus ID: 46179744
We express the classical p-adic integers Ẑp, as a metric space, as the final coalgebra to a certain endofunctor. We realize the…
Expand
2007
2007
Observational Interpretation of Casl Specifications
M. Bidoit
,
D. Sannella
,
A. Tarlecki
2007
Corpus ID: 267815374
MICHEL BIDOIT†, DONALD SANNELLA‡ and ANDRZEJ TARLECKI§ † Laboratoire Spécification et Vérification, CNRS & ENS de Cachan, France…
Expand
2003
2003
Initial Logic and Induction in Algebraic Specification
D. Lucanu
Scientific Annals of Cuza University
2003
Corpus ID: 47549131
The initial truth refers to those properties which are valid in initial models. In this paper we show how the initial truth can…
Expand
2000
2000
Polytypic Recursion
P. S. Barbosa
,
J. Barros
,
J. J. Almeida
2000
Corpus ID: 3054592
Recursive schemes over inductive data structures have been recognized as category-theoretic universals, yielding a handful of…
Expand
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
1985
1985
Initial Semantics of Specifications
H. Ehrig
,
B. Mahr
1985
Corpus ID: 123435890
We study in this chapter initial semantics of equational specifications. In contrast to the former, mainly introductory chapter…
Expand
1978
1978
Data types as initial algebras: A unification of Scottery and ADJery
A. Kanda
19th Annual Symposium on Foundations of Computer…
1978
Corpus ID: 17278319
This paper presents a formulation within the framework of data types as initial algebras, of parameterizations of data types. We…
Expand
1976
1976
An algebraic formulation of knuthian semantics
L. Chirica
,
David F. Martin
17th Annual Symposium on Foundations of Computer…
1976
Corpus ID: 7191446
This paper presents a formulation, within the framework of initial algebra semantics, of Knuthian semantic systems (K-systems…
Expand