Constructor Subtyping in the Calculus of Inductive Constructions.

Gilles Barthe, Femke van Raamsdonk

Browse the full FOSSACS paper archive.