22 citations · 44 across the 8 of their papers we have counts for
Showing 2019 · cs.LOShow all
2 papers · 2 filters
cs.LO2019
Separation and Renaming in Nominal Sets
Joshua Moerman, Jurriaan Rot
Nominal sets provide a foundation for reasoning about names. They are used primarily in syntax with binders, but also, e.g., to model automata over infinite alphabets. In this pape…
cs.LO2019
Fast Computations on Ordered Nominal Sets
David Venhoek, Joshua Moerman, Jurriaan Rot
We show how to compute efficiently with nominal sets over the total order symmetry, by developing a direct representation of such nominal sets and basic constructions thereon. In c…