Predicate and relation lifting for parametric algebraic specifications

MaRDI QIDQ2847822zbMATH OpenFDO

Authors Hendrik Tews

Publication date 11 September 2013

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

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

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

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)