An introduction to (co)algebra and (co)induction
From MaRDI portal
Publication:5411641
DOI10.1017/CBO9780511792588.003zbMath1285.68105MaRDI QIDQ5411641
Bart Jacobs, Jan J. M. M. Rutten
Publication date: 24 April 2014
Published in: Advanced Topics in Bisimulation and Coinduction (Search for Journal in Brave)
Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (16)
A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler ⋮ Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What? ⋮ Implementing Cantor’s Paradise ⋮ Unnamed Item ⋮ Structural congruence for bialgebraic semantics ⋮ Fairness and communication-based semantics for session-typed languages ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Interleaving data and effects ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Distributive laws for monotone specifications ⋮ Unnamed Item ⋮ Stick breaking, in coalgebra and probability
This page was built for publication: An introduction to (co)algebra and (co)induction
