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 Connect in order to contact the contributor
Submitted on : Saturday, May 5, 2012 - 12:11:34 PM
Last modification on : Saturday, June 25, 2022 - 8:51:42 PM

Identifiers

  • HAL Id : hal-00694631, version 1

Collections

UNIV-PARIS7 | PPS | CNRS | INSMI | 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 Datacite

Share

Metrics

Record views

236

 

Contact                    Legal Notice                    Personal Data