Rewriting methods in higher algebra - Archive ouverte HAL Access content directly
Habilitation À Diriger Des Recherches Year : 2019

Dates and versions

tel-02161197 , version 1 (20-06-2019)

Identifiers

  • HAL Id : tel-02161197 , version 1

Cite

Yves Guiraud. Rewriting methods in higher algebra. Category Theory [math.CT]. Université Paris 7, 2019. ⟨tel-02161197⟩
252 View
480 Download

Share

Gmail Facebook X LinkedIn More