Cristin-resultat-ID: 1705379
Sist endret: 17. juni 2019, 14:02
Resultat
Vitenskapelig foredrag
2019

Coherence for symmetric monoidal groupoids in HoTT/UF

Bidragsytere:
  • Stefano Piceghello

Presentasjon

Navn på arrangementet: TYPES 2019
Sted: Oslo
Dato fra: 11. juni 2019
Dato til: 14. juni 2019

Arrangør:

Arrangørnavn: CAS Oslo

Om resultatet

Vitenskapelig foredrag
Publiseringsår: 2019

Beskrivelse Beskrivelse

Tittel

Coherence for symmetric monoidal groupoids in HoTT/UF

Bidragsytere

Stefano Piceghello

  • Tilknyttet:
    Forfatter
    ved Institutt for informatikk ved Universitetet i Bergen
1 - 1 av 1