Conference Papers
Year : 2011
Francois Metayer : Connect in order to contact the contributor
https://inria.hal.science/hal-00694631
Submitted on : Saturday, May 5, 2012-12:11:34 PM
Last modification on : Wednesday, April 24, 2024-12:51:53 PM
Dates and versions
Identifiers
- HAL Id : hal-00694631 , version 1
Cite
François Métayer. Higher Categories and Rewriting. Operads and Rewriting, Nov 2011, Lyon, France. ⟨hal-00694631⟩
Collections
236
View
0
Download