TY  - RPRT
TI  - Bi-invariant types, reliably invariant types, and the comb tree property
AU  - James E. Hanson
PY  - 2025
UR  - https://arxiv.org/abs/2306.08239
ID  - 2306.08239
ER  -