Some Characterization Results for Permutation Algebras
Fabio Gadducci, Marino Miculan, Ugo Montanari · Electronic Notes in Theoretical Computer Science · 2004
In recent years, many general presentations (metamodels) for calculi with name-passing, either operational or denotational in flavour, have been proposed. In this paper, we investigate the connections among some of these proposals, namely permutation algebras, named sets and sheaf categories, with the aim of establishing a bridge between different approaches to the abstract specification of nominal calculi.