Abstrakt. Vi föreslår en semantik för permutation ekvivalens i högre ordning omskrivning. Denna semantik äger rum i kartesiska stängda 2-kategorier, och är bevisat ljud och komplett.
• T. Hirschowitz REF ] närmade sig högre ordning omskrivningssystem via Cartesian stängd 2-kategorier.
Cartesian closed 2-categories and permutation equivalence in higher-order rewriting
{'venue': 'LMCS 9 (3:10) 2013', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Mathematics']}