Rewriting methods in higher algebra - Inria - Institut national de recherche en sciences et technologies du numérique 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⟩
254 View
503 Download

Share

Gmail Mastodon Facebook X LinkedIn More