About permutation algebras, (pre)sheaves and named sets

Publication
HIGHER-ORDER AND SYMBOLIC COMPUTATION

Related