Higher-Order and Symbolic Computation

, Volume 19, Issue 2, pp 283-304

First online:

About permutation algebras, (pre)sheaves and named sets

  • Fabio GadducciAffiliated withDepartment of Computer Science, University of Pisa Email author 
  • , Marino MiculanAffiliated withDepartment of Mathematics and Computer Science, University of Udine
  • , Ugo MontanariAffiliated withDepartment of Computer Science, University of Pisa

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


In this paper we survey some well-known approaches proposed as general models for calculi dealing with names (like for example process calculi with name-passing). We focus on (pre)sheaf categories, nominal sets, permutation algebras and named sets, studying the relationships among these models, thus allowing techniques and constructions to be transferred from one model to the other.


Nominal calculi Permutation algebras Presheaf categories Named sets