TY  - RPRT
TI  - Profinite lambda-terms and parametricity
AU  - Sam van Gool
AU  - Paul-André Melliès
AU  - Vincent Moreau
PY  - 2023
DO  - 10.46298/entics.12280
UR  - https://arxiv.org/abs/2301.12475
ID  - 2301.12475
ER  -