Eu sou novo no estudo de sistemas de reescrita como aluno de doutorado no primeiro ano. Gostaria de propor um curso de tópicos especiais sobre a reescrita da teoria e quero ter certeza de não deixar nenhuma das fontes originais de fora.
Tenho uma cópia de Barendregt e Terese como fontes de livros didáticos. Para artigos originais: estive analisando o trabalho de Dershowitz sobre a prova de terminação, o artigo de Huet sobre confluência, o artigo de Van Oostrom sobre diagramas decrescentes e o artigo de Ohlebusch sobre equivalência de módulo de confluência e o trabalho de Toyama sobre modularidade. Espero terminar com um punhado de artigos influentes clássicos e recentes. Além disso, se alguém puder recomendar alguns bons trabalhos sobre os vínculos entre topologia algébrica, teoria de categorias e teoria de reescrita, eu também apreciaria.
fonte