Higher Categories and Rewriting

Document type :
Conference papers
Operads and Rewriting, Nov 2011, Lyon, France. 2011
Liste complète des métadonnées

https://hal.inria.fr/hal-00694631
Contributor : Francois Metayer <>
Submitted on : Saturday, May 5, 2012 - 12:11:34 PM
Last modification on : Thursday, November 15, 2018 - 8:27:00 PM

Identifiers

  • 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〉

Share

Metrics

Record views

228