TY  - RPRT
TI  - Parametricity via Cohesion
AU  - C. B. Aberlé
PY  - 2024
DO  - 10.46298/entics.14710
UR  - https://arxiv.org/abs/2404.03825
ID  - 2404.03825
ER  -