
Introduction to Coalgebra
Towards Mathematics of States and Observation
Cambridge Tracts in Theoretical Computer Science
2016 m.
Descrição
This is the first mature and accessible introduction to coalgebra, providing clear mathematical explanations, with many examples and exercises involving deterministic and non-deterministic automata, transition systems, streams, Markov chains and weighted automata. It will be of interest to mathematicians, computer scientists, mathematical physicists and even economists.
