A Relationally Parametric Model of Dependent Type Theory.
Merge pull request #6 from yallop/dependent-parametricity

A Relationally Parametric Model of Dependent Type Theory.