Cristin-resultat-ID: 1609886
Sist endret: 17. september 2018, 14:54
Resultat
Vitenskapelig foredrag
2018

The Univalence Axiom in Dependent Type Theory

Bidragsytere:
  • Marcus Aloysius Bezem

Presentasjon

Navn på arrangementet: Argo Seminar
Sted: Belgrade
Dato fra: 29. mars 2018

Arrangør:

Arrangørnavn: Automated reasoning group, University of Belgrade

Om resultatet

Vitenskapelig foredrag
Publiseringsår: 2018

Beskrivelse Beskrivelse

Tittel

The Univalence Axiom in Dependent Type Theory

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