TY  - RPRT
TI  - Type systems and maximal subgroups of Thompson's group $V$
AU  - James Belk
AU  - Collin Bleak
AU  - Martyn Quick
AU  - Rachel Skipper
PY  - 2024
UR  - https://arxiv.org/abs/2206.12631
ID  - 2206.12631
ER  -