Cristin-resultat-ID: 1832843
Sist endret: 17. februar 2021, 09:39
NVI-rapporteringsår: 2020
Resultat
Vitenskapelig artikkel
2020

Coherence for Monoidal Groupoids in HoTT

Bidragsytere:
  • Stefano Piceghello

Tidsskrift

Leibniz International Proceedings in Informatics
ISSN 1868-8969
e-ISSN 1868-8969
NVI-nivå 1
Finn i kanalregisteret

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2020
Volum: 175
Sider: 8:1 - 8:20
Artikkelnummer: 8
Open Access

Lenker

original online (doi)

Importkilder

Scopus-ID: 2-s2.0-85092792121

Beskrivelse Beskrivelse

Tittel

Coherence for Monoidal Groupoids in HoTT

Bidragsytere

Stefano Piceghello

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