Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Historikk
Cristin-resultat-ID:
1609886
Sist endret:
17. september 2018, 14:54
Resultat
Vitenskapelig foredrag
2018
The Univalence Axiom in Dependent Type Theory
Marcus Aloysius Bezem
Presentasjon
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
Om resultatet
Vitenskapelig foredrag
Publiseringsår: 2018
Beskrivelse
Beskrivelse
Engelsk
Tittel
The Univalence Axiom in Dependent Type Theory
Bidragsytere
Bidragsytere
Marc Bezem
Bidragsyterens navn vises på dette resultatet som Marcus Aloysius Bezem
Forfatter
ved Institutt for informatikk ved Universitetet i Bergen
1
-
1
av
1