Separation and Renaming in Nominal Sets

(2019) [Preprint]

Page(s): 23 Seiten

Authors

Authors

Moerman, Joshua
Rot, Jurriaan

Identifier

  • REPORT NUMBER: RWTH-2020-03713