A Tutorial on (Co)Algebras and (Co)Induction

A Tutorial on (Co)Algebras and (Co)Induction (1997)

Cached

Download Links

[tfs.cs.tu-berlin.de]
[www.cse.unsw.edu.au]

Other Repositories/Bibliography

CiteULike

by Bart Jacobs , Jan Rutten

Venue:	EATCS Bulletin
Citations:	213 - 34 self

Versions

Version History

Metadata Version 1

Datum	Value	Source
TITLE	A tutorial on (co)algebras and (co)induction	INFERENCE
AUTHOR NAME	Bart Jacobs	SVM HeaderParse 0.1
AUTHOR AFFIL	Dep. Comp. Sci., Univ. Nijmegen, CWI,	SVM HeaderParse 0.2
AUTHOR ADDR	P.O. Box 9010, 6500 GL Nijmegen, P.O. Box 94079, 1090 GB Amsterdam,; The Netherlands. The Netherlands.	SVM HeaderParse 0.1
AUTHOR NAME	Jan Rutten	SVM HeaderParse 0.1
AUTHOR AFFIL	Dep. Comp. Sci., Univ. Nijmegen, CWI,	SVM HeaderParse 0.2
AUTHOR ADDR	P.O. Box 9010, 6500 GL Nijmegen, P.O. Box 94079, 1090 GB Amsterdam,; The Netherlands. The Netherlands.	SVM HeaderParse 0.1
ABSTRACT	. 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 well-established importance in computer science. Formally, they are initial algebras. Induction is used both as a definition 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, or mutators). Spaces of infinite data (including, for example, infinite lists, and non-well-founded sets) are generally of this kind. In general, dynamical systems with a hidden, black-box state space, to which a user only has limited access via specified (observer or mutator) operations, are coalgebras of various kinds. Such coalgebraic systems are common in computer science. And "coinduction" is the appropriate te...	user correction - Legacy Corrections
YEAR	1997	INFERENCE
VENUE	EATCS Bulletin	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	62--222	INFERENCE
VOLUME	62	INFERENCE
CITATIONS	34 found	ParsCit 1.0