Coalgebraic Methods in Computer Science: 14th IFIP WG 1.3 International Workshop
68,21 €
Relating Structure and Power: Comonadic Semantics for Computational Resources. - Coalgebraic Logics and Duality. - Undecidability of Equality for Codata Types. - On Algebras with Effectful Iteration.
Jetzt bei Ebay: