Hjem
Stefano Piceghellos bilde

Stefano Piceghello

Forsker
Vitenskapelig artikkel
  • Vis forfatter(e) (2020). Coherence for Monoidal Groupoids in HoTT. Leibniz International Proceedings in Informatics. 8:1-8:20.
Vitenskapelig foredrag
  • Vis forfatter(e) (2019). Coherence for symmetric monoidal groupoids in HoTT/UF.
  • Vis forfatter(e) (2018). Monoidal structures and formalization of coherence theorems.

Se fullstendig oversikt over publikasjoner i CRIStin.