Nominal equational logic (0)

by R Clouston, A Pitts
Venue:ENTCS