Indexed Induction and Coinduction, Fibrationally
From MaRDI portal
Publication:5891134
DOI10.2168/LMCS-9(3:6)2013zbMath1285.68097OpenAlexW2619863015MaRDI QIDQ5891134
Neil Ghani, Clément Fumex, Patricia Johann
Publication date: 6 September 2013
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2168/lmcs-9(3:6)2013
Related Items (3)
An Isbell duality theorem for type refinement systems ⋮ Dependent Types and Fibred Computational Effects ⋮ Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic
This page was built for publication: Indexed Induction and Coinduction, Fibrationally
