Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Historikk
Cristin-resultat-ID:
1705379
Sist endret:
17. juni 2019, 14:02
Resultat
Vitenskapelig foredrag
2019
Coherence for symmetric monoidal groupoids in HoTT/UF
Stefano Piceghello
Presentasjon
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
Om resultatet
Vitenskapelig foredrag
Publiseringsår: 2019
Beskrivelse
Beskrivelse
Engelsk
Tittel
Coherence for symmetric monoidal groupoids in HoTT/UF
Bidragsytere
Bidragsytere
Stefano Piceghello
Forfatter
ved Institutt for informatikk ved Universitetet i Bergen
1
-
1
av
1