Conference
LICS '18 Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
Title
Degrees of relatedness: A unified framework for parametricity, irrelevance, Ad Hoc polymorphism, intersections, unions and algebra in dependent type theory
Publication type
Proceedings paper
Embargo date
9999-12-31
