Mechanizing Proofs about Mendler-style Recursion. - Rohan Jacob-Rao; Andrew Cave; Brigitte Pientka (LFMTP, 2016)

Index-Stratified Types. - Rohan Jacob-Rao; Brigitte Pientka; David Thibodeau 001 (FSCD, 2018)

Index-Stratified Types (Extended Version). - Rohan Jacob-Rao; Brigitte Pientka; David Thibodeau 001 (CoRR, 2018)