Sciweavers

Share
LISP
2006

About permutation algebras, (pre)sheaves and named sets

10 years 4 months ago
About permutation algebras, (pre)sheaves and named sets
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. Keywords Nominal calculi . Permutation algebras . Presheaf categories . Named sets
Fabio Gadducci, Marino Miculan, Ugo Montanari
Added 14 Dec 2010
Updated 14 Dec 2010
Type Journal
Year 2006
Where LISP
Authors Fabio Gadducci, Marino Miculan, Ugo Montanari
Comments (0)
books