Indexed Induction and Coinduction, Fibrationally

DOI10.1007/978-3-642-22944-2_13zbMath1344.68145arXiv1307.3263OpenAlexW2165929896MaRDI QIDQ5894256

Neil Ghani, Clément Fumex, Patricia Johann

Publication date: 2 September 2011

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1307.3263

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (4)

Coinductive predicates and final sequences in a fibration ⋮ Unnamed Item ⋮ Coinduction in Flow: The Later Modality in Fibrations ⋮ Coinductive predicates and final sequences in a fibration

This page was built for publication: Indexed Induction and Coinduction, Fibrationally