Deep Induction for Inductive Families.

Patricia Johann, Edward Morehouse

Browse the full WoLLIC paper archive.