Nominal equational logic (0)

by Ranald A Clouston, Andrew M Pitts
Venue:Electronic Notes in Theoretical Computer Science