Skip to content
Institutional repository
Communities & Collections
Browse
Site
Log In
imec Publications
Conference contributions
Degrees of relatedness: A unified framework for parametricity, irrelevance, Ad Hoc polymorphism, intersections, unions and algebra in dependent type theory
Publication:
Degrees of relatedness: A unified framework for parametricity, irrelevance, Ad Hoc polymorphism, intersections, unions and algebra in dependent type theory
Date
2018
Proceedings Paper
Simple item page
Full metadata
Statistics
Loading...
Loading...
Files
42476.pdf
913.26 KB
Basic data
APA
Chicago
Harvard
IEEE
Basic data
APA
Chicago
Harvard
IEEE
Author(s)
Nuyts, Andreas
;
Devriese, Dominique
Journal
Abstract
Description
Metrics
Views
1848
since deposited on 2021-10-26
Acq. date: 2025-10-26
Citations
Metrics
Views
1848
since deposited on 2021-10-26
Acq. date: 2025-10-26
Citations