Higher Categories and Rewriting

François Métayer 1
1 PPS - Preuves, Programmes et Systèmes
Type de document :
Communication dans un congrès
Operads and Rewriting, Nov 2011, Lyon, France. 2011
Liste complète des métadonnées
https://hal.inria.fr/hal-00694631
Contributeur : Francois Metayer <>
Soumis le : samedi 5 mai 2012 - 12:11:34
Dernière modification le : jeudi 11 janvier 2018 - 06:17:49

Identifiants

  • HAL Id : hal-00694631, version 1

Collections

INSMI | PPS | USPC | TDS-MACS

Citation

François Métayer. Higher Categories and Rewriting. Operads and Rewriting, Nov 2011, Lyon, France. 2011. 〈hal-00694631〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

156

Contact


archive-ouverte@inria.fr