Homotopy type theory seminar

Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i workshop, seminar og kursus

Periode5 feb. 2014 → …
BegivenhedstypeSeminar
ArrangørRasmus Møgelberg and Nicolas Pouillard
PlaceringCopenhagen, DanmarkVis på kort