TY  - RPRT
TI  - Homological Invariants of Higher-Order Equational Theories
AU  - Mirai Ikebuchi
PY  - 2025
DO  - 10.1109/lics65433.2025.00024
UR  - https://arxiv.org/abs/2505.10149
ID  - 2505.10149
ER  -