Equational Reasoning in Languages with Binders via Permutation Fixed-Points.

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

Browse the full FSCD paper archive.