Fibrational induction meets effects

DOI10.1007/978-3-642-28729-9_3MaRDI QIDQ2892757zbMATH OpenOpenAlexFDO

Authors Robert Atkey, Neil Ghani, Bart Jacobs, Patricia Johann

Publication date 22 June 2012

Published in Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL http://libres.uncg.edu/ir/asu/f/Johann_Patricia_2012_Fibrational_Induction_Meets_Effects_.Johann.pdf

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Fibrational induction rules for initial algebras
• Generic fibrational induction
• Indexed induction and coinduction, fibrationally
• Indexed induction and coinduction, fibrationally
• Structural induction and coinduction in a fibrational setting

Cited in

(10)

• Coinductive predicates and final sequences in a fibration
• Monads for behaviour
• Inductive reasoning about effectful data types
• Generic fibrational induction
• Fusion for free. Efficient algebraic effect handlers
• The coinductive resumption monad
• Fibrational induction rules for initial algebras
• Interleaving data and effects
• Eilenberg-Moore monoids and backtracking monad transformers
• Coinductive predicates and final sequences in a fibration

This page was built for publication: Fibrational induction meets effects

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