22 citations · 74 across the 11 of their papers we have counts for
1 paper · 2 filters
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…