Similarity Quotients as Final Coalgebras

DOI10.1007/978-3-642-19805-2_3zbMATH Open1326.68193OpenAlexW1516346965MaRDI QIDQ3000597FDOQ3000597

Paul Blain Levy

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

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

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)