Similarity Quotients as Final Coalgebras
From MaRDI portal
Publication:3000597
DOI10.1007/978-3-642-19805-2_3zbMath1326.68193OpenAlexW1516346965MaRDI QIDQ3000597
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
Related Items (13)
On bisimilarity in lambda calculi with continuous probabilistic choice ⋮ Quantitative logics for equivalence of effectful programs ⋮ Relation lifting, a survey ⋮ A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation ⋮ Streams of approximations, equivalence of recursive effectful programs ⋮ Runners for interleaving algebraic effects ⋮ Enhanced coalgebraic bisimulation ⋮ Unnamed Item ⋮ Codensity Lifting of Monads and its Dual ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Lax extensions of coalgebra functors and their logic ⋮ Relational presheaves, change of base and weak simulation
This page was built for publication: Similarity Quotients as Final Coalgebras
