Algebra And Coalgebra In Computer Science
by Reiko Heckel /
2013 / English / PDF
4.2 MB Download
The papers cover topics in the fields of abstract models and logics, specialized models and calculi, algebraic and coalgebraic semantics, system specification and verification, as well as corecursion in programming languages, and algebra and coalgebra in quantum computing.