TY  - RPRT
TI  - CHAD for Expressive Total Languages
AU  - Fernando Lucatelli Nunes
AU  - Matthijs Vákár
PY  - 2023
DO  - 10.1017/s096012952300018x
UR  - https://arxiv.org/abs/2110.00446
ID  - 2110.00446
ER  -