Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Chapter Printable view
Algebras and Coalgebras

Algebras and Coalgebras

Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 2297/2002
BookAlgebraic and Coalgebraic Methods in the Mathematics of Program Construction
DOI10.1007/3-540-47797-7
Copyright2002
ISBN978-3-540-43613-3
DOI10.1007/3-540-47797-7_3
Pages43-71
Subject CollectionComputer Science
SpringerLink DateTuesday, January 01, 2002
Add to marked items

3. Algebras and Coalgebras

Peter Aczel7

(7)  Departments of Mathematics and Computer Science, University of Manchester, Manchester
Abstract
This chapter introduces the notion of a final coalgebra relative to an endofunctor and corecursion on a final coalgebra via the paradigm examples of a particular kind of tree. The notion is dual to the more familiar notion of an initial algebra and structural recursion on an initial algebra. The chapter starts with the paradigm syntactic examples of initial algebras, the term algebras.
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.
more options
Find


Export this chapter
Export this chapter as RIS | Text
 
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.108 • Server: mpweb02
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)