Degrees of Relatedness: A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory.

Andreas Nuyts, Dominique Devriese

Browse the full LICS paper archive.