Login / Signup

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

Patricia JohannAndrew Polonsky
Published in: FoSSaCS (2020)
Keyphrases