Cartesian closed 2-categories and permutation equivalence in higher-order rewriting
نشر في Tom Hirschowitz
بتاريخ 2013
في مجال الهندسة المعلوماتية
والبحث باللغة
English
تحميل البحث
الملخص بالإنكليزية
We propose a semantics for permutation equivalence in higher-order rewriting. This semantics takes place in cartesian closed 2-categories, and is proved sound and complete.