Practical coinduction

DOI10.1017/S0960129515000493zbMath1376.68095OpenAlexW4246799966MaRDI QIDQ5361147

Alexandra Silva, Dexter Kozen

Publication date: 27 September 2017

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129515000493

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (12)

Unnamed Item ⋮ A Theory of Formal Choreographic Languages ⋮ Unnamed Item ⋮ Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications ⋮ Partially Typed Multiparty Sessions ⋮ Composition and decomposition of multiparty sessions ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Non-well-founded deduction for induction and coinduction ⋮ Unnamed Item ⋮ Integrating induction and coinduction via closure operators and proof cycles

Uses Software

• CIRC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Co-induction in relational semantics
• Structural induction and coinduction in a fibrational setting
• Universal coalgebra: A theory of systems
• Expressivity of coalgebraic modal logic: the limits and beyond
• A fixpoint theorem for complete categories
• Circular Coinduction: A Proof Theoretical Foundation
• Rank-1 Modal Logics Are Coalgebraic
• Mechanizing coinduction and corecursion in higher-order logic
• Efficient recursive subtyping
• Generic Trace Semantics via Coinduction
• Foundations of Software Science and Computational Structures
• Applications of Metric Coinduction
• Specifying coalgebras with modal logic

This page was built for publication: Practical coinduction