All Stories

  1. Effective codescent morphisms in the varieties determined by convergent term rewriting systems