TY  - RPRT
TI  - Translating proofs from an impredicative type system to a predicative one
AU  - Thiago Felicissimo
AU  - Frédéric Blanqui
AU  - Ashish Kumar Barnawal
PY  - 2022
UR  - https://arxiv.org/abs/2211.05700
ID  - 2211.05700
ER  -