TY  - RPRT
TI  - Internal parametricity, without an interval
AU  - Thorsten Altenkirch
AU  - Yorgo Chamoun
AU  - Ambrus Kaposi
AU  - Michael Shulman
PY  - 2023
DO  - 10.1145/3632920
UR  - https://arxiv.org/abs/2307.06448
ID  - 2307.06448
ER  -