Fokusthemen
Publikationen
Services
Autorinnen/Autoren
Verlag
Shop
LEXIA
Zeitschriften
SachbuchLOKISemaphor

Initial Algebras and Terminal Coalgebras

The Theory of Fixed Points of Functors

Inhalt

This definitive treatment of results in category theory and theoretical computer science covers classical material from new viewpoints and develops a wealth of new topics. The centrepiece is a collection of existence theorems for initial algebras and terminal coalgebras. It will be the standard reference for years to come.

Bibliografische Angaben

Februar 2025, Cambridge Tracts in Theoretical Computer Science, Englisch
Cambridge Academic
978-1-108-83546-6

Inhaltsverzeichnis

Schlagworte

Weitere Titel der Reihe: Cambridge Tracts in Theoretical Computer Science

Alle anzeigen

Weitere Titel zum Thema