Nominal equational logic (2007)

by Ranald A Clouston, Andrew M Pitts
Venue:Computation, Meaning and Logic. Articles dedicated to Gordon Plotkin, volume 1496 of Electronic Notes in Theoretical Computer Science