1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2025
Equational Reasoning Modulo Commutativity in Languages with Binders (Extended Version)
Ali K. Caires-Santos, Maribel Fernández, Daniele Nantes-Sobrinho
Many formal languages include binders as well as operators that satisfy equational axioms, such as commutativity. Here we consider the nominal language, a general formal framework…
cs.LO2024★ 1 cited
Strong Nominal Semantics for Fixed-Point Constraints
Ali K. Caires-Santos, Maribel Fernández, Daniele Nantes-Sobrinho
Nominal algebra includes -equality and freshness constraints on nominal terms endowed with a nominal set semantics that facilitates reasoning about languages with binders. Nomin…