TY  - RPRT
TI  - How Functorial Are (Deep) GADTs?
AU  - Patricia Johann
AU  - Pierre Cagne
PY  - 2022
UR  - https://arxiv.org/abs/2203.14891
ID  - 2203.14891
ER  -