Results 1  10
of
1,747
Universal coalgebra: a theory of systems
, 2000
"... In the semantics of programming, nite data types such as finite lists, have traditionally been modelled by initial algebras. Later final coalgebras were used in order to deal with in finite data types. Coalgebras, which are the dual of algebras, turned out to be suited, moreover, as models for certa ..."
Abstract

Cited by 404 (43 self)
 Add to MetaCart
In the semantics of programming, nite data types such as finite lists, have traditionally been modelled by initial algebras. Later final coalgebras were used in order to deal with in finite data types. Coalgebras, which are the dual of algebras, turned out to be suited, moreover, as models
Domain Theory
 Handbook of Logic in Computer Science
, 1994
"... Least fixpoints as meanings of recursive definitions. ..."
Abstract

Cited by 546 (25 self)
 Add to MetaCart
Least fixpoints as meanings of recursive definitions.
A Tutorial on (Co)Algebras and (Co)Induction
 EATCS Bulletin
, 1997
"... . Algebraic structures which are generated by a collection of constructors like natural numbers (generated by a zero and a successor) or finite lists and trees are of wellestablished importance in computer science. Formally, they are initial algebras. Induction is used both as a definition pr ..."
Abstract

Cited by 269 (36 self)
 Add to MetaCart
principle, and as a proof principle for such structures. But there are also important dual "coalgebraic" structures, which do not come equipped with constructor operations but with what are sometimes called "destructor" operations (also called observers, accessors, transition maps
Coalgebraic Logic
 Annals of Pure and Applied Logic
, 1999
"... We present a generalization of modal logic to logical systems which are interpreted on coalgebras of functors on sets. The leading idea is that infinitary modal logic contains characterizing formulas. That is, every modelworld pair is characterized up to bisimulation by an infinitary formula. The ..."
Abstract

Cited by 108 (0 self)
 Add to MetaCart
We present a generalization of modal logic to logical systems which are interpreted on coalgebras of functors on sets. The leading idea is that infinitary modal logic contains characterizing formulas. That is, every modelworld pair is characterized up to bisimulation by an infinitary formula
Algebras and Coalgebras
 Handbook of Modal Logic
, 2007
"... This chapter 1 sketches some of the mathematical surroundings of modal logic. First, we discuss the algebraic perspective on the field, showing how the theory of universal algebra, and more specifically, that of Boolean algebras with operators, can be used to prove significant results in modal logic ..."
Abstract

Cited by 25 (3 self)
 Add to MetaCart
logic. In the second and last part of the chapter we describe how modal logic, and its model theory, provides many natural manifestations of the more general theory of universal coalgebra.
COALGEBRAIC STRUCTURES IN MODULE THEORY
"... Abstract. Although coalgebras and coalgebraic structures are wellknown for a long time it is only in recent years that they are getting new attention from people working in algebra and module theory. The purpose of this survey is to explain the basic notions of the coalgebraic world and to show the ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Abstract. Although coalgebras and coalgebraic structures are wellknown for a long time it is only in recent years that they are getting new attention from people working in algebra and module theory. The purpose of this survey is to explain the basic notions of the coalgebraic world and to show
Objects and Classes, Coalgebraically
 ObjectOrientation with Parallelism and Persistence
, 1995
"... The coalgebraic perspective on objects and classes in objectoriented programming is elaborated: objects consist of a (unique) identifier, a local state, and a collection of methods described as a coalgebra; classes are coalgebraic (behavioural) specifications of objects. The creation of a "n ..."
Abstract

Cited by 73 (18 self)
 Add to MetaCart
The coalgebraic perspective on objects and classes in objectoriented programming is elaborated: objects consist of a (unique) identifier, a local state, and a collection of methods described as a coalgebra; classes are coalgebraic (behavioural) specifications of objects. The creation of a "
Components as Coalgebras
, 2001
"... Tese de doutoramento em Informática, área de Fundamentos da Computação, aprovada por unanimidade em provas públicas realizadas na Universidade do Minho This thesis has been partially supported by the LOGCOMP and KARMA projects, under, respectively, ..."
Abstract
 Add to MetaCart
Tese de doutoramento em Informática, área de Fundamentos da Computação, aprovada por unanimidade em provas públicas realizadas na Universidade do Minho This thesis has been partially supported by the LOGCOMP and KARMA projects, under, respectively,
Programming with bananas, lenses, envelopes and barbed wire
 In FPCA
, 1991
"... We develop a calculus for lazy functional programming based on recursion operators associated with data type definitions. For these operators we derive various algebraic laws that are useful in deriving and manipulating programs. We shall show that all example Functions in Bird and Wadler's &qu ..."
Abstract

Cited by 334 (12 self)
 Add to MetaCart
We develop a calculus for lazy functional programming based on recursion operators associated with data type definitions. For these operators we derive various algebraic laws that are useful in deriving and manipulating programs. We shall show that all example Functions in Bird and Wadler's "Introduction to Functional Programming " can be expressed using these operators. 1
Results 1  10
of
1,747