• Rewriting in categories of spans 

      Monserrat, Miquel; Rosselló, Francesc; Torrens, Joan; Valiente Feruglio, Gabriel Alejandro (1996-03)
      Report de recerca
      Accés obert
      Single-pushout transformation in a category of spans, in some sense a generalization of the usual notion of partial morphism, is studied in this paper. Contrary to the usual notion of partial morphism, spans are single ...