私は、1年目の博士課程の学生として、書き換えシステムを研究するのは初めてです。リライティング理論に関する特別なトピックのコースを提案したいと思います。私は、元のソースを除外しないようにしたいと思います。
私は教科書のソースとしてBarendregtとTereseのコピーを持っています。元の論文について：私は、終了の証明に関するダーショウィッツの研究、合流性に関するヒュートの論文、減少する図に関するヴァンオーストロムの論文、合流性のモジュロ等価に関するオーレブッシュの論文、モジュール性に関する富山の研究を見てきました。私は、古典的なものと最近の影響力のある論文の両方が散らばってしまうことを願っています。また、代数的トポロジー、カテゴリー理論、リライティング理論の間のリンクについての良い論文を誰かが推薦できれば、私もそれを感謝します。