TY  - RPRT
TI  - Nominal Type Theory by Nullary Internal Parametricity
AU  - Antoine Van Muylder
AU  - Andreas Nuyts
AU  - Dominique Devriese
PY  - 2026
DO  - 10.4230/lipics.types.2025.12
UR  - https://arxiv.org/abs/2512.09464
ID  - 2512.09464
ER  -