ACM/IEEE Logic in Computer Science, LICS 2018


Article Details
Title: Degrees of Relatedness: A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory
Article URLs:
Alternative Article URLs:
Authors: Andreas Nuyts
  • KU Leuven, imec-DistriNet
Dominique Devriese
  • KU Leuven, imec-DistriNet
Sharing: Research produced no artifacts
Verification: Authors have verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/lics/NuytsD18
Author Comments: This paper comes with a technical report containing technical details and non-mechanized proofs: https://arxiv.org/abs/1805.08684

Discuss this paper and its artifacts below