About permutation algebras, (pre)sheaves and named sets
GADDUCCI Fabio
•
MONTANARI Ugo
•
MICULAN, Marino
2006
Periodico
HIGHER-ORDER AND SYMBOLIC COMPUTATION
DOI
Archivio
Diritti
closed access