Nominal monoids (2010)

by A Kurz, T Suzuki, E Tuosto