Indexed Induction and Coinduction, Fibrationally
From MaRDI portal
Publication:5894256
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
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