Congratulations to Dr. Patricia Johann and Dr. Enrico Ghiorzi for a new article that was just accepted for publication.
(Deep) Induction Rules for GADTs, Patricia Johann and Enrico Ghiorzi,
Certified Programs and Proofs 2022 (CPP'22), January 17-18, 2022, Philadelphia, USA.
Dr. Patricia Johann
Dr. Enrico Ghiorzi