Coalgebraic Methods in Computer Science: 13th IFIP WG 1.3 International Workshop
67,31 €
Fixed Points of Functors - A Survey. - Compositional Coinduction with Sized Types. - Affine Monads and Side-Effect-Freeness. - Duality of Equations and Coequations via Contravariant Adjunctions. - Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness.
Jetzt bei Ebay:
