Strong Nominal Semantics for Fixed-Point Constraints. - Ali K. Caires-Santos; Maribel Fernández; Daniele Nantes-Sobrinho (CoRR, 2024)

Equational Reasoning Modulo Commutativity in Languages with Binders. - Ali K. Caires-Santos; Maribel Fernández; Daniele Nantes-Sobrinho (CADE, 2025)

Equational Reasoning Modulo Commutativity in Languages with Binders (Extended Version). - Ali K. Caires-Santos; Maribel Fernández; Daniele Nantes-Sobrinho (CoRR, 2025)