Generalized coiteration schemata

MaRDI QIDQ2843722zbMATH OpenFDO

Authors Daniela Cancila, Furio Honsell, Marina Lenisa

Publication date 23 August 2013

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• Generalised coinduction
• Generalised coinduction
• A Generalized Concept Lattice
• scientific article; zbMATH DE number 1956505
• A generalized iterative construct and its semantics
• scientific article; zbMATH DE number 6719859
• A Generic Framework for Higher-Order Generalizations.
• Generalized coinsertion and standard multitableaux
• Generalizing inference systems by coaxioms
• Structured general corecursion and coinductive graphs (extended abstract)

Cited in

(8)

• On the naturality of the iteration and recursive specifications
• Generalizing Substitution
• Bialgebras for structural operational semantics: an introduction
• Multigames and strategies, coalgebraically
• Generalised coinduction
• Recursive coalgebras from comonads
• Strong induction is an up-to technique
• Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme

This page was built for publication: Generalized coiteration schemata

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