TY  - RPRT
TI  - Revisiting Parametricity: Inductives and Uniformity of Propositions
AU  - Abhishek Anand
AU  - Greg Morrisett
PY  - 2017
UR  - https://arxiv.org/abs/1705.01163
ID  - 1705.01163
ER  -