scientific article; zbMATH DE number 7093561

zbMath1442.68150arXiv1712.08526MaRDI QIDQ5228884

Damien Pous, Jurriaan Rot

Publication date: 13 August 2019

Full work available at URL: https://arxiv.org/abs/1712.08526

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

coalgebradistributive lawcoinduction

Mathematics Subject Classification ID

Logic in computer science (03B70) Complete lattices, completions (06B23) Applications of universal algebra in computer science (08A70) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (1)

Corecursion up-to via causal transformations

This page was built for publication: