Degrees of relatedness: A unified framework for parametricity, irrelevance, Ad Hoc polymorphism, intersections, unions and algebra in dependent type theory

Nuyts, AndreasAndreasNuytsDevriese, DominiqueDominiqueDevriese2021-10-262021-10-262018https://imec-publications.be/handle/20.500.12860/31431Degrees of relatedness: A unified framework for parametricity, irrelevance, Ad Hoc polymorphism, intersections, unions and algebra in dependent type theoryProceedings paperhttps://doi.org/10.1145/3209108.3209119