Fibrational Induction Meets Effects

DOI10.1007/978-3-642-28729-9_3zbMath1352.68169OpenAlexW2132990655MaRDI QIDQ2892757

Bart Jacobs, Neil Ghani, Robert Atkey, 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)

Related Items (7)

Coinductive predicates and final sequences in a fibration ⋮ Monads for behaviour ⋮ The coinductive resumption monad ⋮ Fusion for Free ⋮ Unnamed Item ⋮ Interleaving data and effects ⋮ Coinductive predicates and final sequences in a fibration

This page was built for publication: Fibrational Induction Meets Effects