Cartesian closed 2-categories and permutation equivalence in higher-order rewriting - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Logical Methods in Computer Science Année : 2013

Cartesian closed 2-categories and permutation equivalence in higher-order rewriting

Tom Hirschowitz
Laboratoire de Mathématiques
CV

Résumé

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.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
macy.pdf (256.58 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Tom Hirschowitz  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00540205

Soumis le : samedi 29 janvier 2011-22:21:15

Dernière modification le : jeudi 4 avril 2024-18:27:39

Télécharger pour visualiser

Dates et versions

hal-00540205 , version 1 (26-11-2010)
hal-00540205 , version 2 (29-01-2011)

Identifiants

Citer

Tom Hirschowitz. Cartesian closed 2-categories and permutation equivalence in higher-order rewriting. Logical Methods in Computer Science, 2013, 9 (3), pp.10. ⟨10.2168/LMCS-9(3:10)2013⟩. ⟨hal-00540205v2⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-SAVOIE UGA CNRS LAMA
222 Consultations
488 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More