Jiri (Czech Technical University in Prague) Adamek,
Stefan (Friedrich-Alexander-Universitat Erlangen-Nurnberg, Germany) Milius,
Lawrence S. (Indiana University, Bloomington) Moss
Cambridge University Press
e druk, 2025
9781108835466
Initial Algebras and Terminal Coalgebras
The Theory of Fixed Points of Functors
Specificaties
Gebonden, 640 blz.
|
EN
Cambridge University Press |
e druk, 2025
ISBN13: 9781108835466
Rubricering
Onderdeel van serie
Cambridge Tracts in Theoretical Computer Science
Levertijd ongeveer 15 werkdagen
Samenvatting
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.
Specificaties
ISBN13:9781108835466
Taal:EN
Bindwijze:Gebonden
Aantal pagina's:640
Uitgever:Cambridge University Press