DMCA

GDP Festschrift ENTCS, to appear Abstract Nominal Equational Logic

by Ranald A. Clouston , Andrew M. Pitts