Nominal equational logic (0)

by R A Clouston, A M Pitts
Venue:Electron. Notes Theor. Comput. Sci