From Branching to Linear Time, Coalgebraically
Article in Electronic Proceedings in Theoretical Computer Science (August 2013)
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 From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference
-
Altmetric BadgeChapter 2 Defining Context-Free Power Series Coalgebraically
-
Altmetric BadgeChapter 3 Relational Presheaves as Labelled Transition Systems
-
Altmetric BadgeChapter 4 On Finitary Functors and Their Presentations
-
Altmetric BadgeChapter 5 Structural Operational Semantics for Continuous State Probabilistic Processes
-
Altmetric BadgeChapter 6 Stream Automata Are Coalgebras
-
Altmetric BadgeChapter 7 Coalgebraic Methods in Computer Science
-
Altmetric BadgeChapter 8 An Alpha-Corecursion Principle for the Infinitary Lambda Calculus
-
Altmetric BadgeChapter 9 Lax Extensions of Coalgebra Functors
-
Altmetric BadgeChapter 10 From Transitions to Executions
-
Altmetric BadgeChapter 11 Tracing the Man in the Middle in Monoidal Categories
-
Altmetric BadgeChapter 12 Permutations in Coinductive Graph Representation
-
Altmetric BadgeChapter 13 Internal Models for Coalgebraic Modal Logics
Attention for Chapter 1:
From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference