10 citations · 20 across the 2 of their papers we have counts for
2 papers
cs.LO2013★ 10 cited
Indexed Induction and Coinduction, Fibrationally
Neil Ghani, Patricia Johann, Clement Fumex
This paper extends the fibrational approach to induction and coinduction pioneered by Hermida and Jacobs, and developed by the current authors, in two key directions. First, we pre…
cs.PL2012★ 10 cited
Generic Fibrational Induction
Neil Ghani, Patricia Johann, Clement Fumex
This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors. Our res…