Skip to Main content Skip to Navigation
Conference papers

Higher Categories and Rewriting

Complete list of metadata

https://hal.inria.fr/hal-00694631
Contributor : Francois Metayer <>
Submitted on : Saturday, May 5, 2012 - 12:11:34 PM
Last modification on : Saturday, March 28, 2020 - 2:17:02 AM

Identifiers

  • HAL Id : hal-00694631, version 1

Collections

Citation

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

Share

Metrics

Record views

288