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

Publication:

2018

Proceedings Paper

Author(s)

Nuyts, Andreas

;

Devriese, Dominique

1853 since deposited on 2021-10-26

Acq. date: 2026-01-27