Translating Proofs from an Impredicative Type System to a Predicative One.

Thiago Felicissimo, Frdric Blanqui, Ashish Kumar Barnawal

Browse the full CSL paper archive.