TY  - RPRT
TI  - Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders
AU  - Maribel Fernández
AU  - Daniele Nantes-Sobrinho
AU  - Daniella Santaguida
PY  - 2025
UR  - https://arxiv.org/abs/2505.14895
ID  - 2505.14895
ER  -