Definitional Proof Irrelevance Made Accessible.

Thiago Felicissimo, Yann Leray, Loc Pujet, Nicolas Tabareau, ric Tanter, Tho Winterhalter

Browse the full LICS paper archive.