21 citations · 58 across the 8 of their papers we have counts for
1 paper · 1 filter
Rafaël Bocquet, Ambrus Kaposi, Christian Sattler
We present new induction principles for the syntax of dependent type theories, which we call relative induction principles. The result of the induction principle relative to a func…