TY  - RPRT
TI  - Principal Types as Partial Involutions
AU  - Furio Honsell
AU  - Marina Lenisa
AU  - Ivan Scagnetto
PY  - 2024
DO  - 10.1017/s0960129524000380
UR  - https://arxiv.org/abs/2402.07230
ID  - 2402.07230
ER  -