Cristin-resultat-ID: 1609883
Sist endret: 17. september 2018, 14:44
Resultat
Populærvitenskapelig foredrag
2018

Homotopy Type Theory and Univalent Foundations

Bidragsytere:
  • Marcus Aloysius Bezem

Presentasjon

Navn på arrangementet: Opening of the academic year
Sted: Oslo
Dato fra: 12. september 2018

Arrangør:

Arrangørnavn: Centre for Advanced Study

Om resultatet

Populærvitenskapelig foredrag
Publiseringsår: 2018

Beskrivelse Beskrivelse

Tittel

Homotopy Type Theory and Univalent Foundations

Bidragsytere

Marc Bezem

Bidragsyterens navn vises på dette resultatet som Marcus Aloysius Bezem
  • Tilknyttet:
    Forfatter
    ved Institutt for informatikk ved Universitetet i Bergen
1 - 1 av 1