Impredicativity, Cumulativity and Product Covariance in the Logical Framework Dedukti.

Thiago Felicissimo, Tho Winterhalter

Browse the full FSCD paper archive.