Deep Induction: Induction Rules for (Truly) Nested Types.

Patricia Johann, Andrew Polonsky

Browse the full FOSSACS paper archive.