Soy nuevo en el estudio de sistemas de reescritura como estudiante de doctorado de primer año. Me gustaría proponer un curso de temas especiales sobre la teoría de la reescritura, y quiero asegurarme de no dejar de lado ninguna de las fuentes originales.
Tengo una copia de Barendregt y Terese como fuentes de libros de texto. Para trabajos originales: he estado mirando el trabajo de Dershowitz para probar la terminación, el trabajo de Huet sobre la confluencia, el trabajo de Van Oostrom sobre los diagramas decrecientes y el trabajo de Ohlebusch sobre la equivalencia del módulo de confluencia, y el trabajo de Toyama sobre la modularidad. Espero terminar con un puñado de papeles influyentes clásicos y recientes. Además, si alguien puede recomendar algunos buenos documentos sobre los vínculos entre la topología algebraica, la teoría de categorías y la teoría de reescritura, también lo agradecería.
fuente