Algebra and Coalgebra in Computer Science by Reiko Heckel
English | 8 Aug. 2013 | ISBN: 3642402054 | 370 Pages | PDF | 4 MB
English | 8 Aug. 2013 | ISBN: 3642402054 | 370 Pages | PDF | 4 MB
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.