Equational Reasoning Modulo Commutativity in Languages with Binders.

Ali K. Caires-Santos, Maribel Fernndez, Daniele Nantes-Sobrinho

Browse the full CADE paper archive.