Output details

A study of substitution, using nominal techniques and Fraenkel–Mostowksi sets

<11>One of the ideas underlying this paper - that nominal sets can be considered as unions of orbits - was later developed by Polish mathematicians (see e.g. dx.doi.org/10.1109/LICS.2011.48) and now underlies an active field into the computational applications of nominal sets (part of Dagstuhl Seminar 13422 dagstuhl.de/13422), and applied to HD-automata e.g. in dx.doi.org/10.1016/j.ic.2009.10.007 (see Defs 6.10 & 6.11). This paper can still be regarded as ahead of that later work, in the sense of considering not only orbits but also how those orbits should change under the action of substitution or more generally, any function.