Skip to Main content Skip to Navigation
Conference papers

Higher Categories and Rewriting

François Métayer 1
1 PPS - Preuves, Programmes et Systèmes
Document type :
Conference papers
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

UNIV-PARIS7 | CNRS | INSMI | PPS | USPC | TDS-MACS | UNIV-PARIS

Citation

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

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

288

 

Contact                    Legal Notice                    Personal Data