TY  - RPRT
TI  - Higher-Order Constrained Dependency Pairs for (Universal) Computability
AU  - Liye Guo
AU  - Kasper Hagens
AU  - Cynthia Kop
AU  - Deivid Vale
PY  - 2024
UR  - https://arxiv.org/abs/2406.19379
ID  - 2406.19379
ER  -