Higher Categories and Rewriting

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

Citation

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

Partager

Métriques

Consultations de la notice

187