TY  - RPRT
TI  - Equational Reasoning Modulo Commutativity in Languages with Binders (Extended Version)
AU  - Ali K. Caires-Santos
AU  - Maribel Fernández
AU  - Daniele Nantes-Sobrinho
PY  - 2025
UR  - https://arxiv.org/abs/2502.19287
ID  - 2502.19287
ER  -