Predicate and relation lifting for parametric algebraic specifications

zbMATH Open1271.68151MaRDI QIDQ2847822FDOQ2847822

Authors: Hendrik Tews 

Publication date: 11 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104051837

Recommendations

• Relation lifting, a survey
• Homomorphisms of coalgebras from predicate liftings
• Lax Extensions of Coalgebra Functors
• Lax extensions of coalgebra functors and their logic
• Relation lifting, with an application to the many-valued cover modality

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cited In (1)

• Homomorphisms of coalgebras from predicate liftings

This page was built for publication: Predicate and relation lifting for parametric algebraic specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2847822)