Similarity Quotients as Final Coalgebras
From MaRDI portal
Publication:3000597
DOI10.1007/978-3-642-19805-2_3zbMATH Open1326.68193OpenAlexW1516346965MaRDI QIDQ3000597FDOQ3000597
Publication date: 19 May 2011
Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-19805-2_3
Cited In (14)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Runners for interleaving algebraic effects
- Streams of approximations, equivalence of recursive effectful programs
- Relation lifting, a survey
- On bisimilarity in lambda calculi with continuous probabilistic choice
- Quantitative logics for equivalence of effectful programs
- A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation
- Inductive and coinductive predicate liftings for effectful programs
- Lax extensions of coalgebra functors and their logic
- Codensity Lifting of Monads and its Dual
- Relational presheaves, change of base and weak simulation
- Title not available (Why is that?)
- Enhanced coalgebraic bisimulation
This page was built for publication: Similarity Quotients as Final Coalgebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3000597)