Deconstructing Lawvere with distributive laws
Article in Journal of Logical and Algebraic Methods in Programming (February 2018)
The most recent citing publication is shown below. View this citation on Dimensions.
Coalgebraic Methods in Computer Science
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Coalgebraic Methods in Computer Science
-
Altmetric BadgeChapter 2 Coalgebraic Methods in Computer Science
-
Altmetric BadgeChapter 3 Coalgebraic Methods in Computer Science
-
Altmetric BadgeChapter 4 Coalgebraic Methods in Computer Science
-
Altmetric BadgeChapter 5 Affine Monads and Side-Effect-Freeness
-
Altmetric BadgeChapter 6 Coalgebraic Methods in Computer Science
-
Altmetric BadgeChapter 7 Coalgebraic Methods in Computer Science
-
Altmetric BadgeChapter 8 Coalgebraic Methods in Computer Science
-
Altmetric BadgeChapter 9 On the Logic of Generalised Metric Spaces
-
Altmetric BadgeChapter 10 A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors
-
Altmetric BadgeChapter 11 Coalgebraic Completeness-via-Canonicity
-
Altmetric BadgeChapter 12 Relational Lattices via Duality
-
Altmetric BadgeChapter 13 On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems
Attention for Chapter 10:
A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors